diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-06 21:11:37 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-06 21:11:37 +0000 |
| commit | 67903280f8fe6946a36ef9fc08bfc747f74bfbd7 (patch) | |
| tree | 4ba788f7758339a15e8377e2e7618c0811f27420 /src/theory/uf/equality_engine.h | |
| parent | 35dea35f309952919365ee85f991184bddfda514 (diff) | |
Don't ever call nonclausalSimplify if simplificationMode = NONE (even if
repeatSimp is true)
Diffstat (limited to 'src/theory/uf/equality_engine.h')
0 files changed, 0 insertions, 0 deletions