From 0a28bacd0f6d46a8ac61229fe8bd118b158b1bba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 Nov 2022 16:42:36 +0700
Subject: [PATCH] remove debug out
---
src/smt/smt_context.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index a8d2f268d..45c469bde 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -1346,7 +1346,6 @@ namespace smt {
TRACE("add_diseq", display_eq_detail(tout, bool_var2enode(v)););
if (!add_diseq(get_enode(lhs), get_enode(rhs)) && !inconsistent()) {
literal n_eq = literal(l.var(), true);
- IF_VERBOSE(0, verbose_stream() << "eq-conflict @" << m_scope_lvl << "\n");
set_conflict(b_justification(mk_justification(eq_propagation_justification(get_enode(lhs), get_enode(rhs)))), n_eq);
}
}