From 39b562da44d4cc63374c1904d378b9b41a406ee7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 25 Apr 2014 22:03:26 +0100 Subject: [PATCH] compilation fix Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_engine.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/sls/sls_engine.cpp b/src/tactic/sls/sls_engine.cpp index 5b32e5790..c0c319ab4 100644 --- a/src/tactic/sls/sls_engine.cpp +++ b/src/tactic/sls/sls_engine.cpp @@ -581,7 +581,7 @@ lbool sls_engine::operator()() { } /* Andreas: Needed for Armin's restart scheme if we don't want to use loops. -inline double sls_engine::get_restart_armin(unsigned cnt_restarts) +double sls_engine::get_restart_armin(unsigned cnt_restarts) { unsigned outer_id = (unsigned)(0.5 + sqrt(0.25 + 2 * cnt_restarts)); unsigned inner_id = cnt_restarts - (outer_id - 1) * outer_id / 2; @@ -589,7 +589,7 @@ inline double sls_engine::get_restart_armin(unsigned cnt_restarts) } */ -inline unsigned sls_engine::check_restart(unsigned curr_value) +unsigned sls_engine::check_restart(unsigned curr_value) { if (curr_value > m_restart_next) {