From: Tim King <taking@google.com>
Date: Thu, 29 Dec 2016 22:36:00 +0000 (-0800)
Subject: Adding a destructor to InstantiationNotify.
X-Git-Tag: cvc5-1.0.0~5935
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c43b80514259ee489eba99405f703765b613404;p=cvc5.git

Adding a destructor to InstantiationNotify.
---

diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h
index 83076c51a..150b3945b 100644
--- a/src/theory/quantifiers_engine.h
+++ b/src/theory/quantifiers_engine.h
@@ -47,6 +47,7 @@ namespace quantifiers {
 class InstantiationNotify {
 public:
   InstantiationNotify(){}
+  virtual ~InstantiationNotify() {}
   virtual bool notifyInstantiation( unsigned quant_e, Node q, Node lem, std::vector< Node >& terms, Node body ) = 0;
   virtual void filterInstantiations() = 0;
 };