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/printer/smt2/smt2_printer.h | |
| 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/printer/smt2/smt2_printer.h')
0 files changed, 0 insertions, 0 deletions