From 8088cf4f9c8fdd49e2f46656243efb6afce3cbc8 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 13 Nov 2013 18:20:17 -0500
Subject: Add virtual destructors where missing

---
 src/proof/theory_proof.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/proof/theory_proof.h')

diff --git a/src/proof/theory_proof.h b/src/proof/theory_proof.h
index 773428633..b8963c500 100644
--- a/src/proof/theory_proof.h
+++ b/src/proof/theory_proof.h
@@ -28,9 +28,9 @@
 
 namespace CVC4 {
 
-
   typedef __gnu_cxx::hash_set<Type, TypeHashFunction > SortSet; 
   typedef __gnu_cxx::hash_set<Expr, ExprHashFunction > ExprSet; 
+
   class TheoryProof {
   protected:
     ExprSet d_termDeclarations;
@@ -40,6 +40,7 @@ namespace CVC4 {
     void addDeclaration(Expr atom); 
   public:
     TheoryProof();
+    virtual ~TheoryProof() {}
     virtual void printAssertions(std::ostream& os, std::ostream& paren) = 0;
   };
 
@@ -51,4 +52,5 @@ namespace CVC4 {
     virtual void printAssertions(std::ostream& os, std::ostream& paren);
   }; 
 } /* CVC4 namespace */
+
 #endif /* __CVC4__THEORY_PROOF_H */
-- 
cgit v1.2.3