diff options
Diffstat (limited to 'src/theory/quantifiers/quant_relevance.h')
| -rw-r--r-- | src/theory/quantifiers/quant_relevance.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_relevance.h b/src/theory/quantifiers/quant_relevance.h index c22e560f9..418b859b9 100644 --- a/src/theory/quantifiers/quant_relevance.h +++ b/src/theory/quantifiers/quant_relevance.h @@ -40,7 +40,7 @@ class QuantRelevance : public QuantifiersUtil * if this is false, then all calls to getRelevance * return -1. */ - QuantRelevance() {} + QuantRelevance(Env& env); ~QuantRelevance() {} /** reset */ bool reset(Theory::Effort e) override { return true; } |