From 803fd2a10f9faf3451363d06f2a15dc2c70aff2e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 24 Aug 2024 18:31:02 -0700
Subject: [PATCH] remove linear opt

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 c6ce02119..b63b12ad1 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -558,7 +558,7 @@ namespace sls {
         if (find_nl_moves(lit))
             return true;
 
-        if (find_lin_moves(lit))
+        if (false && find_lin_moves(lit))
             return true;