From 2ccfb1937de2bda061b2f869b61d1ac3ac5c9e71 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 11 Jul 2021 23:20:19 +0200 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/qe/mbp/mbp_arith.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/qe/mbp/mbp_arith.cpp b/src/qe/mbp/mbp_arith.cpp index a94984fbd..31329b3dd 100644 --- a/src/qe/mbp/mbp_arith.cpp +++ b/src/qe/mbp/mbp_arith.cpp @@ -281,7 +281,7 @@ namespace mbp { obj_map tids; expr_ref_vector pinned(m); unsigned j = 0; - TRACE("qe", tout << "vars: " << vars << "\nfmls: " << fmls << "\n"; + TRACE("qe", tout << "vars: " << vars << "\n"; for (expr* f : fmls) tout << mk_pp(f, m) << " := " << model(f) << "\n";); for (unsigned i = 0; i < fmls.size(); ++i) { expr* fml = fmls.get(i);