From 3526d03cca34b47b3fc4a2af8560c16effbbb195 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 28 Dec 2024 18:01:32 -0800 Subject: [PATCH] remove VERIFY output Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/bool_rewriter.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/ast/rewriter/bool_rewriter.cpp b/src/ast/rewriter/bool_rewriter.cpp index 9c8eeed85..9884c4d18 100644 --- a/src/ast/rewriter/bool_rewriter.cpp +++ b/src/ast/rewriter/bool_rewriter.cpp @@ -689,10 +689,6 @@ app* bool_rewriter::mk_eq_plain(expr* lhs, expr* rhs) { return m().mk_true(); if (m().are_distinct(lhs, rhs)) return m().mk_false(); - if (m().is_false(rhs)) { - verbose_stream() << "here\n"; - } - VERIFY(!m().is_false(rhs)); return m().mk_eq(lhs, rhs); }