diff options
Diffstat (limited to 'src/theory/quantifiers/quant_split.cpp')
| -rw-r--r-- | src/theory/quantifiers/quant_split.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/quantifiers/quant_split.cpp b/src/theory/quantifiers/quant_split.cpp index 588d4de76..ad65c06cd 100644 --- a/src/theory/quantifiers/quant_split.cpp +++ b/src/theory/quantifiers/quant_split.cpp @@ -25,8 +25,10 @@ using namespace CVC4::context; using namespace CVC4::theory; using namespace CVC4::theory::quantifiers; -QuantDSplit::QuantDSplit(QuantifiersEngine* qe, QuantifiersState& qs) - : QuantifiersModule(qs, qe), d_added_split(qs.getUserContext()) +QuantDSplit::QuantDSplit(QuantifiersEngine* qe, + QuantifiersState& qs, + QuantifiersInferenceManager& qim) + : QuantifiersModule(qs, qim, qe), d_added_split(qs.getUserContext()) { } |