remove VERIFY output

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 29, 2024 · 3526d03 · 3526d03
1 parent f41134d
commit 3526d03
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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);
 }