From 11fb5c7dc49d879cdc2a3c3c4a732cd3c39749c5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Nov 2025 16:11:58 -0800
Subject: [PATCH] comment out parameter check

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

diff --git a/src/ast/simplifiers/bound_simplifier.cpp b/src/ast/simplifiers/bound_simplifier.cpp
index 0fdecef7c..3ae3a1a01 100644
--- a/src/ast/simplifiers/bound_simplifier.cpp
+++ b/src/ast/simplifiers/bound_simplifier.cpp
@@ -136,10 +136,11 @@ bool bound_simplifier::reduce_arg(expr* arg, expr_ref& result) {
 
 void bound_simplifier::reduce() {
 
+    #if 0
     smt_params_helper sp(p);
     if (!sp.bound_simplifier())
         return;
-    
+    #endif
     bool updated = true, found_bound = false;
     for (unsigned i = 0; i < 5 && updated; ++i) {
         updated = false;