diff options
Diffstat (limited to 'src/theory/quantifiers/quantifiers_modules.h')
| -rw-r--r-- | src/theory/quantifiers/quantifiers_modules.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/quantifiers/quantifiers_modules.h b/src/theory/quantifiers/quantifiers_modules.h index 8d4cd46c3..e58fcb8d5 100644 --- a/src/theory/quantifiers/quantifiers_modules.h +++ b/src/theory/quantifiers/quantifiers_modules.h @@ -54,8 +54,7 @@ class QuantifiersModules * This constructs the above modules based on the current options. It adds * a pointer to each module it constructs to modules. */ - void initialize(QuantifiersEngine* qe, - QuantifiersState& qs, + void initialize(QuantifiersState& qs, QuantifiersInferenceManager& qim, QuantifiersRegistry& qr, TermRegistry& tr, |