diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-02 19:23:18 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-02 19:23:18 +0000 |
commit | 74770f1071e6102795393cf65dd0c651038db6b4 (patch) | |
tree | e1ae141b4d74bd7a603631830303fe3f1ea439d9 /src/theory/arith/tableau.cpp | |
parent | 487e610b88f2a634e3285886ff96717c103338de (diff) |
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.
Diffstat (limited to 'src/theory/arith/tableau.cpp')
0 files changed, 0 insertions, 0 deletions