From 69dd247cfc7129c503e36e31dccf2d2028493424 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 23 Aug 2024 09:25:34 -0700
Subject: [PATCH] re-add tabu override

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_arith_base.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 7ea135f9a..a8a89b0d1 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;
     }