From b89545b4d9b235f8b66b8558a24bdd20d20f3dea Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Mon, 1 Feb 2016 11:09:09 -0800
Subject: [PATCH] Adding a destructor to ProofOutputChannel.

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

diff --git a/src/proof/theory_proof.cpp b/src/proof/theory_proof.cpp
index 1bc8ae949..6679cf896 100644
--- a/src/proof/theory_proof.cpp
+++ b/src/proof/theory_proof.cpp
@@ -55,6 +55,7 @@ public:
   Node d_lemma;
 
   ProofOutputChannel() : d_conflict(), d_proof(NULL) {}
+  virtual ~ProofOutputChannel() throw() {}
 
   void conflict(TNode n, Proof* pf) throw() {
     Trace("theory-proof-debug") << "; CONFLICT: " << n << std::endl;
@@ -90,7 +91,7 @@ public:
 };/* class ProofOutputChannel */
 
 //for proof replay
-class MyPreRegisterVisitor { 
+class MyPreRegisterVisitor {
   theory::Theory* d_theory;
   __gnu_cxx::hash_set<TNode, TNodeHashFunction> d_visited;
 public:
-- 
2.30.2