From 34e473aabe6f1180559eff2f2743e60105055116 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@gmail.com>
Date: Fri, 20 Mar 2020 11:07:22 +0100
Subject: [PATCH] fix copypaste issue

---
 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 6a5392c902..c67ecb8914 100644
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -57,7 +57,7 @@ public:
   }
   ReadOptions& operator^=(ReadOptions const& that)
   {
-    value_ &= that.value_;
+    value_ ^= that.value_;
     return *this;
   }
 
-- 
2.20.1