From 60753bf46b822191969e6cd70fbb9e3d1aec0d06 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 25 Apr 2014 21:49:35 +0100 Subject: [PATCH] compilation fix Signed-off-by: Christoph M. Wintersteiger --- src/tactic/sls/sls_engine.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/sls/sls_engine.h b/src/tactic/sls/sls_engine.h index 8a8a57e0e..b056c438e 100644 --- a/src/tactic/sls/sls_engine.h +++ b/src/tactic/sls/sls_engine.h @@ -136,8 +136,8 @@ protected: void mk_random_move(ptr_vector & unsat_constants); - //inline double get_restart_armin(unsigned cnt_restarts); - inline unsigned check_restart(unsigned curr_value); + //double get_restart_armin(unsigned cnt_restarts); + unsigned check_restart(unsigned curr_value); }; #endif