diff --git a/src/tactic/sls/sls_engine.h b/src/tactic/sls/sls_engine.h
index e7fe909ba..e0a28a796 100644
--- a/src/tactic/sls/sls_engine.h
+++ b/src/tactic/sls/sls_engine.h
@@ -138,8 +138,8 @@ protected:
 
     void mk_random_move(ptr_vector<func_decl> & 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