diff options
Diffstat (limited to 'src/prop/prop_proof_manager.cpp')
-rw-r--r-- | src/prop/prop_proof_manager.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/prop/prop_proof_manager.cpp b/src/prop/prop_proof_manager.cpp index aa58ffa2c..00cd96b01 100644 --- a/src/prop/prop_proof_manager.cpp +++ b/src/prop/prop_proof_manager.cpp @@ -23,8 +23,7 @@ PropPfManager::PropPfManager(context::UserContext* userContext, ProofNodeManager* pnm, SatProofManager* satPM, ProofCnfStream* cnfProof) - : d_pnm(pnm), - d_pfpp(new ProofPostproccess(pnm, cnfProof)), + : d_pfpp(new ProofPostproccess(pnm, cnfProof)), d_satPM(satPM), d_assertions(userContext) { |