From 9d563b2963835b2a4e6ab19bdf5a5b21d934416e Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Thu, 2 Dec 2021 13:43:10 -0300 Subject: [PATCH] [proofs] Fix a trace in SAT proof manager (#7732) --- 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 e12b2cae9..fb37b1d01 100644 --- a/src/prop/sat_proof_manager.cpp +++ b/src/prop/sat_proof_manager.cpp @@ -450,7 +450,8 @@ void SatProofManager::explainLit(SatLiteral lit, Trace("sat-proof") << "SatProofManager::explainLit: " << children[i]; if (i > 0) { - Trace("sat-proof") << " [" << args[i - 1] << "]"; + Trace("sat-proof") << " [" << args[(2 * i) - 2] << ", " + << args[(2 * i) - 1] << "]"; } Trace("sat-proof") << "\n"; } -- 2.30.2