diff options
Diffstat (limited to 'src/theory/quantifiers/term_pools.h')
| -rw-r--r-- | src/theory/quantifiers/term_pools.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/term_pools.h b/src/theory/quantifiers/term_pools.h index 5a7556ad9..37b16a785 100644 --- a/src/theory/quantifiers/term_pools.h +++ b/src/theory/quantifiers/term_pools.h @@ -71,7 +71,7 @@ class TermPoolQuantInfo class TermPools : public QuantifiersUtil { public: - TermPools(QuantifiersState& qs); + TermPools(Env& env, QuantifiersState& qs); ~TermPools() {} /** reset, which resets the current values of pools */ bool reset(Theory::Effort e) override; |