From e8dde34353f85324aa169d08ee961c0167a99561 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 26 Mar 2014 13:10:06 +0000
Subject: [PATCH] removed unnecessary changes for bvsls

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/sat/tactic/sat_tactic.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/sat/tactic/sat_tactic.cpp b/src/sat/tactic/sat_tactic.cpp
index 717bf7007..677540991 100644
--- a/src/sat/tactic/sat_tactic.cpp
+++ b/src/sat/tactic/sat_tactic.cpp
@@ -66,8 +66,6 @@ class sat_tactic : public tactic {
             CASSERT("sat_solver", m_solver.check_invariant());
             IF_VERBOSE(TACTIC_VERBOSITY_LVL, m_solver.display_status(verbose_stream()););
             TRACE("sat_dimacs", m_solver.display_dimacs(tout););
-			//m_solver.display_dimacs(std::cerr);
-            //exit(0);
 
             lbool r = m_solver.check();
             if (r == l_false) {