diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-12-02 13:43:10 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 10:43:10 -0600 |
| commit | 9d563b2963835b2a4e6ab19bdf5a5b21d934416e (patch) | |
| tree | 17c13fb6220b02b3fbd1595be641f5367ac2cbfb | |
| parent | 70997d0e3ebf2027279373d9594c66119f3fa656 (diff) | |
[proofs] Fix a trace in SAT proof manager (#7732)
| -rw-r--r-- | src/prop/sat_proof_manager.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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"; } |