diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-29 13:49:51 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-29 13:50:08 -0500 |
| commit | fa5df1aad69f8ad62686b9418070a1baf74b4a77 (patch) | |
| tree | ad780365050498223b2a3fceb703556713cb49d0 /src/theory/quantifiers/inst_propagator.cpp | |
| parent | 599329b76da2e95f18479a19c1bbbc3e3228b100 (diff) | |
Add quantifiers options related to model and master equality engine.
Diffstat (limited to 'src/theory/quantifiers/inst_propagator.cpp')
| -rw-r--r-- | src/theory/quantifiers/inst_propagator.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/inst_propagator.cpp b/src/theory/quantifiers/inst_propagator.cpp index 28b92cc5e..6457de145 100644 --- a/src/theory/quantifiers/inst_propagator.cpp +++ b/src/theory/quantifiers/inst_propagator.cpp @@ -91,7 +91,7 @@ bool EqualityQueryInstProp::areDisequal( Node a, Node b ) { /** get the equality engine associated with this query */ eq::EqualityEngine* EqualityQueryInstProp::getEngine() { - return d_qe->getMasterEqualityEngine(); + return d_qe->getActiveEqualityEngine(); } /** get the equivalence class of a */ |