From a83425bec60a97321031975e5808c7c4bb434894 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 3 Jan 2020 21:19:35 -0800 Subject: [PATCH] clean up a trace statement Signed-off-by: Lev Nachmanson --- src/smt/theory_lra.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp index 24aba9266..7690aac01 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -3129,7 +3129,7 @@ public: lp::constraint_index ci1, ci2, ci3, ci4; TRACE("arith", - bool hlb = has_lower_bound(vi2, ci3, bound); + bool hlb = has_lower_bound(vi2, ci3, bound); // has_lower_bound in turn trace "arith" tout << "fixed: " << mk_pp(get_owner(v1), m) << " " << mk_pp(get_owner(v2), m) << " " << bound << " " << hlb << std::endl;); if (has_lower_bound(vi2, ci3, bound) && has_upper_bound(vi2, ci4, bound)) { VERIFY (has_lower_bound(vi1, ci1, bound));