From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 2 Sep 2011 19:23:18 +0000 (+0000)
Subject: Ensure that assignment gestures through CDMap iterators like:
X-Git-Tag: cvc5-1.0.0~8485
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74770f1071e6102795393cf65dd0c651038db6b4;p=cvc5.git

Ensure that assignment gestures through CDMap iterators like:

  (*myCDMap.find(foo)).second = bar;

fail with a compile-time error (rather than being silently ignored, like
they had been).

Resolves bug #276.
---

diff --git a/src/context/cdmap.h b/src/context/cdmap.h
index 1e7e931da..c71459835 100644
--- a/src/context/cdmap.h
+++ b/src/context/cdmap.h
@@ -514,8 +514,8 @@ public:
     }
 
     // Dereference operators.
-    std::pair<const Key, Data> operator*() const {
-      return std::pair<const Key, Data>(d_it->getKey(), d_it->get());
+    std::pair<const Key, const Data> operator*() const {
+      return std::pair<const Key, const Data>(d_it->getKey(), d_it->get());
     }
 
     // Prefix increment