From d0085b41c1e37c567d8c5fae59797a43fcefd3aa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 9 Jun 2023 11:15:54 -0700 Subject: [PATCH] disable breaking change Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/bound_simplifier.cpp | 2 ++ 1 file changed, 2 insertions(+) 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; }