diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 7ea135f9a43..a8a89b0d17f 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -545,7 +545,7 @@ namespace sls {
             return true;
         
 
-//        flet<bool> _tabu(m_use_tabu, false);
+        flet<bool> _tabu(m_use_tabu, false);
         find_reset_moves(lit);
 
         if (apply_update()) 
@@ -558,7 +558,7 @@ namespace sls {
             ctx.force_restart();
             num_fail = 0;
         }
-        m_stats.m_num_steps++;
+//        m_stats.m_num_steps++;
         return false;
     }