diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 3e4773f7e..a7dbedca4 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -1967,9 +1967,7 @@ namespace nlsat {
         bool resolve(clause const & conflict) {
             clause const * conflict_clause = &conflict;
             m_lemma_assumptions = nullptr;
-			std::cout << "resolve\n";
-		start:
-			std::cout << "start\n";
+        start:
             SASSERT(check_marks());
             TRACE("nlsat_proof", tout << "STARTING RESOLUTION\n";);
             TRACE("nlsat_proof_sk", tout << "STARTING RESOLUTION\n";);