From 137e5c52633c5c8f6daf014cff3a59f715e3aaaa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Sep 2021 14:28:41 -0700
Subject: [PATCH] fix tmp_eq

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/euf/euf_egraph.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp
index ba29d2dd85e..f5ad2a6f45f 100644
--- a/src/ast/euf/euf_egraph.cpp
+++ b/src/ast/euf/euf_egraph.cpp
@@ -722,10 +722,6 @@ namespace euf {
             return sat::null_bool_var;
         }
         enode* r = tmp_eq(ra, rb);
-        if (!r) {
-            std::cout << bpp(a) << " " << bpp(b) << "\n";
-            display(std::cout);
-        }
         SASSERT(r && r->get_root()->value() == l_false);
         explain_eq(justifications, r, r->get_root());
         return r->get_root()->bool_var();