From c1111cb247ab39f89dcae0d63a255c669b2ed48e Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 22 Feb 2016 12:30:13 +0100
Subject: [PATCH] [mc] Fix ReadOptions

---
 src/mc/AddressSpace.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index 159642fd6a..7c75d44bcd 100644
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -145,7 +145,7 @@ public:
   constexpr ReadOptions() : value_(0) {}
 
   constexpr operator bool() const { return value_ != 0; }
-  constexpr operator!() const { return value_ == 0; }
+  constexpr bool operator!() const { return value_ == 0; }
 
   constexpr ReadOptions operator|(ReadOptions const& that) const
   {
-- 
2.20.1