diff options
Diffstat (limited to 'src/theory/quantifiers/quant_util.h')
| -rw-r--r-- | src/theory/quantifiers/quant_util.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/quant_util.h b/src/theory/quantifiers/quant_util.h index a70cc2c8e..85c891117 100644 --- a/src/theory/quantifiers/quant_util.h +++ b/src/theory/quantifiers/quant_util.h @@ -43,9 +43,9 @@ public: * Returns false if the reset failed. When reset fails, the utility should * have added a lemma via a call to d_qim.addPendingLemma. */ - virtual bool reset( Theory::Effort e ) = 0; + virtual bool reset(Theory::Effort e) { return true; } /* Called for new quantifiers */ - virtual void registerQuantifier(Node q) = 0; + virtual void registerQuantifier(Node q) {} /** Identify this module (for debugging, dynamic configuration, etc..) */ virtual std::string identify() const = 0; /** Check complete? |