diff options
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_enumerative.cpp')
-rw-r--r-- | src/theory/quantifiers/inst_strategy_enumerative.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/inst_strategy_enumerative.cpp b/src/theory/quantifiers/inst_strategy_enumerative.cpp index c14ce4ad3..c58bcc863 100644 --- a/src/theory/quantifiers/inst_strategy_enumerative.cpp +++ b/src/theory/quantifiers/inst_strategy_enumerative.cpp @@ -194,7 +194,7 @@ bool InstStrategyEnum::process(Node quantifier, bool fullEffort, bool isRd) mkTermTupleEnumerator(quantifier, &ttec)); std::vector<Node> terms; std::vector<bool> failMask; - Instantiate* ie = d_quantEngine->getInstantiate(); + Instantiate* ie = d_qim.getInstantiate(); for (enumerator->init(); enumerator->hasNext();) { if (d_qstate.isInConflict()) |