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