diff options
| author | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2015-04-07 23:48:57 -0700 |
|---|---|---|
| committer | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2015-04-07 23:48:57 -0700 |
| commit | c871e203705d3e191b8c8028a3f22bca6adb0d16 (patch) | |
| tree | 953a41a732f053871cbe19a649abb73d2d3c37a4 /src/theory/quantifiers | |
| parent | 1e7207dc661a1aa7d6509cc21d86fb757938efb1 (diff) | |
Removing the reference to THEORY_BOOL from the equality engine. This theory
id was used as an internal marker in a set of theories tagging reasons of a
propagated disequalities. Replaced it with THEORY_LAST which is not completely
kosher but is safe in the context being used.
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions