1 files changed, 2 insertions, 2 deletions

diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 96154063d..ef28a4ac6 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -66,14 +66,14 @@ void PropEngine::assertLemma(TNode node) {
 
 Result PropEngine::checkSat() {
   Assert(!d_inCheckSat, "Sat solver in solve()!");
-  Debug("prop") << "solve()" << endl;
+  Debug("prop") << "PropEngine::checkSat()" << endl;
   // Mark that we are in the checkSat
   d_inCheckSat = true;
   // Check the problem
   bool result = d_satSolver->solve();
   // Not in checkSat any more
   d_inCheckSat = false;
-  Debug("prop") << "solve() => " << (result ? "true" : "false") << endl;
+  Debug("prop") << "PropEngine::checkSat() => " << (result ? "true" : "false") << endl;
   return Result(result ? Result::SAT : Result::UNSAT);
 }