diff options
Diffstat (limited to 'src/theory/quantifiers/inst_strategy_enumerative.cpp')
| -rw-r--r-- | src/theory/quantifiers/inst_strategy_enumerative.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/quantifiers/inst_strategy_enumerative.cpp b/src/theory/quantifiers/inst_strategy_enumerative.cpp index 9d84ea575..c064819fc 100644 --- a/src/theory/quantifiers/inst_strategy_enumerative.cpp +++ b/src/theory/quantifiers/inst_strategy_enumerative.cpp @@ -32,8 +32,10 @@ using namespace inst; namespace quantifiers { -InstStrategyEnum::InstStrategyEnum(QuantifiersEngine* qe, RelevantDomain* rd) - : QuantifiersModule(qe), d_rd(rd), d_fullSaturateLimit(-1) +InstStrategyEnum::InstStrategyEnum(QuantifiersEngine* qe, + QuantifiersState& qs, + RelevantDomain* rd) + : QuantifiersModule(qs, qe), d_rd(rd), d_fullSaturateLimit(-1) { } void InstStrategyEnum::presolve() |