diff options
author | Guy <katz911@gmail.com> | 2016-06-20 05:40:20 -0700 |
---|---|---|
committer | Guy <katz911@gmail.com> | 2016-06-20 05:40:20 -0700 |
commit | 150863561376c8cb7b170793f693352eab582ba9 (patch) | |
tree | c324dc74f248573b19096cea862534430e22b1f8 /src/proof | |
parent | f948414b8b9979f3e680abdedf8e3e6fbbbdd226 (diff) |
Fixed a bug where the proofManager's init() call was not getting called, resutling a null point deference
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/proof_manager.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index 65a6b1950..45b1f046e 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -62,10 +62,10 @@ ProofManager::ProofManager(ProofFormat format): } ProofManager::~ProofManager() { - delete d_satProof; - delete d_cnfProof; - delete d_theoryProof; - delete d_fullProof; + if (d_satProof) delete d_satProof; + if (d_cnfProof) delete d_cnfProof; + if (d_theoryProof) delete d_theoryProof; + if (d_fullProof) delete d_fullProof; } ProofManager* ProofManager::currentPM() { |