From 1538b31dd931e4b8314dc18a8b9d1e317dee8866 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 12 Jul 2019 12:37:24 +0100 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/model/model_evaluator.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/model/model_evaluator.cpp b/src/model/model_evaluator.cpp index ca670cc04..75d12609a 100644 --- a/src/model/model_evaluator.cpp +++ b/src/model/model_evaluator.cpp @@ -184,6 +184,7 @@ 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";);