From: Tim King Date: Mon, 1 Feb 2016 19:09:09 +0000 (-0800) Subject: Adding a destructor to ProofOutputChannel. X-Git-Tag: cvc5-1.0.0~6098 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b89545b4d9b235f8b66b8558a24bdd20d20f3dea;p=cvc5.git Adding a destructor to ProofOutputChannel. --- 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 d_visited; public: