diff options
| author | Tim King <taking@google.com> | 2016-02-01 11:09:09 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-02-01 11:09:09 -0800 |
| commit | b89545b4d9b235f8b66b8558a24bdd20d20f3dea (patch) | |
| tree | 619d454b3bf0a6ee9c520749a998d6fd33a8380f /src/proof/theory_proof.cpp | |
| parent | 9d8531c22d01f2760019ce272db47999c3c0a926 (diff) | |
Adding a destructor to ProofOutputChannel.
Diffstat (limited to 'src/proof/theory_proof.cpp')
| -rw-r--r-- | src/proof/theory_proof.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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: |