From ae09936f4d732b460f493f32c9192223be867e1f Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Thu, 18 Nov 2021 14:28:50 -0300 Subject: [PATCH] [proofs] Fix trace in SatProofManager (#7664) --- src/prop/sat_proof_manager.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/prop/sat_proof_manager.cpp b/src/prop/sat_proof_manager.cpp index 0b3f28c61..e12b2cae9 100644 --- a/src/prop/sat_proof_manager.cpp +++ b/src/prop/sat_proof_manager.cpp @@ -356,7 +356,8 @@ void SatProofManager::explainLit(SatLiteral lit, if (d_assumptions.contains(litNode)) { Trace("sat-proof") - << "SatProofManager::explainLit: input assumption, ABORT\n"; + << "SatProofManager::explainLit: input assumption, ABORT\n" + << pop; return; } // We don't need to explain nodes who already have proofs. -- 2.30.2