From e2b2b7f82e295f7675ab44ced33bcc33c9c95a2a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 3 Jun 2020 12:29:29 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/nlsat/nlsat_solver.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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";);