diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-31 17:15:02 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-31 17:15:02 +0000 |
| commit | e0ea9a22721a332be2a2354846ffdf5f72c6a6de (patch) | |
| tree | 97f277ac1e6a203a3da3cfb5c41924bad86cc942 /src/theory/substitutions.cpp | |
| parent | 48de3ac52d0fb8656b6e4e768c74be4be3b2a883 (diff) | |
Fixed bug in bv: one more case where non-shared equality was getting propagated
Added a global push and pop around solving - fixes an assertion failure when
TNodes are still around in a CDHashMap at destruction time.
Diffstat (limited to 'src/theory/substitutions.cpp')
0 files changed, 0 insertions, 0 deletions