From 67e721b5bca9ead8b45d994351e747a51ca7ebb6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 5 Mar 2020 09:37:03 +0100
Subject: [PATCH] remove spurious false introduced when debugging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/bv_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/bv_rewriter.cpp b/src/ast/rewriter/bv_rewriter.cpp
index 62fe2e9bd..7cd13f72c 100644
--- a/src/ast/rewriter/bv_rewriter.cpp
+++ b/src/ast/rewriter/bv_rewriter.cpp
@@ -2602,7 +2602,7 @@ br_status bv_rewriter::mk_eq_core(expr * lhs, expr * rhs, expr_ref & result) {
     }
 
     br_status st;
-    if (m_bit2bool && false) {
+    if (m_bit2bool) {
         st = mk_bit2bool(lhs, rhs, result);
         if (st != BR_FAILED)
             return st;