fix tmp_eq

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Sep 28, 2021 · 137e5c5 · 137e5c5
1 parent 67ae75b
commit 137e5c5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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();