diff options
Diffstat (limited to 'src/theory/quantifiers/quant_module.h')
| -rw-r--r-- | src/theory/quantifiers/quant_module.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_module.h b/src/theory/quantifiers/quant_module.h index 7358aa555..639f9c2b4 100644 --- a/src/theory/quantifiers/quant_module.h +++ b/src/theory/quantifiers/quant_module.h @@ -60,7 +60,8 @@ class QuantifiersModule : protected EnvObj }; public: - QuantifiersModule(quantifiers::QuantifiersState& qs, + QuantifiersModule(Env& env, + quantifiers::QuantifiersState& qs, quantifiers::QuantifiersInferenceManager& qim, quantifiers::QuantifiersRegistry& qr, quantifiers::TermRegistry& tr); |