Added virtual destructor to PpRewrite.

diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h
index a55ef92b5084c7ddca08c0dc970a01556cde293c..db417b08c76df8ac5af39474daac4bb76549e2f9 100644 (file)
--- a/src/theory/uf/theory_uf.h
+++ b/src/theory/uf/theory_uf.h
@@ -111,6 +111,7 @@ public:
   class PpRewrite {
   public:
     virtual Node ppRewrite(TNode node) = 0;
+    virtual ~PpRewrite() {}
   };/* class TheoryUF::PpRewrite */
 
 private: