diff --git a/src/ast/simplifiers/bound_simplifier.cpp b/src/ast/simplifiers/bound_simplifier.cpp
index 3726449bd..9359bdba4 100644
--- a/src/ast/simplifiers/bound_simplifier.cpp
+++ b/src/ast/simplifiers/bound_simplifier.cpp
@@ -84,6 +84,7 @@ br_status bound_simplifier::reduce_app(func_decl* f, unsigned num_args, expr* co
         IF_VERBOSE(2, verbose_stream() << "potentially missed simplification: " << mk_pp(x, m) << " " << lo << " " << hi << " not reduced\n");
     }
 
+#if 0
     expr* x = nullptr;
     bool strict = false;
     bool is_upper_bound =
@@ -117,6 +118,7 @@ br_status bound_simplifier::reduce_app(func_decl* f, unsigned num_args, expr* co
         return BR_FAILED;
         
     }
+#endif
     return BR_FAILED;
 }