Adds debugging output to theory_engine.cpp.

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index f29be08a6976d259bfac0782312e5fe31491f67b..8abc7a0e327f0cce265c4dcf9461c7e74616041a 100644 (file)
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -1139,6 +1139,8 @@ void TheoryEngine::conflict(TNode conflict, TheoryId theoryId) {
     Assert(properConflict(fullConflict));
     lemma(fullConflict, true, true);
   } else {
+    Debug("theory::conflict") << "TheoryEngine::conflict(" << conflict << ", " << theoryId << "):" << std::endl;
+
     // When only one theory, the conflict should need no processing
     Assert(properConflict(conflict));
     lemma(conflict, true, true);