[proofs] Fix trace in SatProofManager (#7664)

diff --git a/src/prop/sat_proof_manager.cpp b/src/prop/sat_proof_manager.cpp
index 0b3f28c6150b3f8c377391cef40871c492497235..e12b2cae927e7fcd9435645dec080e64e3420736 100644 (file)
--- 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.