From 9a53fe43e6ee3d22366e515526cdccfc166d6cd9 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 21 Jan 2015 15:31:12 +0000 Subject: [PATCH] Removed unnecessary #includes Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_engine.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/tactic/sls/sls_engine.cpp b/src/tactic/sls/sls_engine.cpp index c0c319ab4..162866ed6 100644 --- a/src/tactic/sls/sls_engine.cpp +++ b/src/tactic/sls/sls_engine.cpp @@ -16,9 +16,6 @@ Author: Notes: --*/ -#include -#include - #include"map.h" #include"ast_smt2_pp.h" #include"ast_pp.h" @@ -575,7 +572,7 @@ lbool sls_engine::operator()() { } } while (res != l_true && m_stats.m_restarts++ < m_max_restarts); - verbose_stream() << "(restarts: " << m_stats.m_restarts << " flips: " << m_stats.m_moves << " time: " << std::fixed << std::setprecision(2) << m_stats.m_stopwatch.get_current_seconds() << " fps: " << (m_stats.m_moves / m_stats.m_stopwatch.get_current_seconds()) << ")" << std::endl; + verbose_stream() << "(restarts: " << m_stats.m_restarts << " flips: " << m_stats.m_moves << " fps: " << (m_stats.m_moves / m_stats.m_stopwatch.get_current_seconds()) << ")" << std::endl; return res; }