Adding a destructor to RepBoundExt.

diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h
index 2a2110cfa7ba849645ba9c482f79d8ada65e1e0b..9368d36813d79c42812e35779c890a6aedca61a8 100644 (file)
--- a/src/theory/rep_set.h
+++ b/src/theory/rep_set.h
@@ -58,7 +58,8 @@ typedef std::vector< int > RepDomain;
 
 
 class RepBoundExt {
-public:
+ public:
+  virtual ~RepBoundExt() {}
   virtual bool setBound( Node owner, int i, TypeNode tn, std::vector< Node >& elements ) = 0;
 };