From be72accaf523916fd79faa02e8f003b6825086ec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 12 Jul 2019 12:37:46 +0100 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/model/model_evaluator.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/model/model_evaluator.cpp b/src/model/model_evaluator.cpp index 75d12609a..ca670cc04 100644 --- a/src/model/model_evaluator.cpp +++ b/src/model/model_evaluator.cpp @@ -184,7 +184,6 @@ struct evaluator_cfg : public default_rewriter_cfg { st = m_seq_rw.mk_eq_core(args[0], args[1], result); else if (s_fid == m_ar_rw.get_fid()) st = mk_array_eq(args[0], args[1], result); - std::cout << result << "\n"; TRACE("model_evaluator", tout << st << " " << mk_pp(s, m) << " " << s_fid << " " << m_ar_rw.get_fid() << " " << mk_pp(args[0], m) << " " << mk_pp(args[1], m) << " " << result << "\n";);