diff options
Diffstat (limited to 'src/proof/proof_manager.cpp')
| -rw-r--r-- | src/proof/proof_manager.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index 4bff66b92..0f9cfa710 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -45,6 +45,13 @@ ProofManager::ProofManager(ProofFormat format): d_satProof(NULL), d_cnfProof(NULL), d_theoryProof(NULL), + d_inputClauses(), + d_theoryLemmas(), + d_theoryPropagations(), + d_inputFormulas(), + d_inputCoreFormulas(), + d_outputCoreFormulas(), + d_nextId(0), d_fullProof(NULL), d_format(format), d_deps(), |