From 9c00ffdd01930a4f5bb52e6c5d1522aaa7a4a8b7 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 6 Jul 2012 17:44:12 +0000
Subject: [PATCH] Added virtual destructor to PpRewrite.

---
 src/theory/uf/theory_uf.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h
index a55ef92b5..db417b08c 100644
--- 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:
-- 
2.30.2