From 11ed99089b858c1fbac61bfef6358731550eb976 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 24 Aug 2024 09:32:04 -0700
Subject: [PATCH] remove restart

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

diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 88a51fee1..6f2881cd6 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -553,7 +553,7 @@ namespace sls {
         
         ++num_fail;
 
-        if (num_fail > 3) {
+        if (false && num_fail > 3) {
 
             ctx.force_restart();
             num_fail = 0;