From f00697cf95b8b025c4769217554243a14e1a581b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 3 Mar 2019 22:33:28 -0800 Subject: [PATCH] fix #2155 Signed-off-by: Nikolaj Bjorner --- src/muz/spacer/spacer_context.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index a2fb70e63..04f5834aa 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -3055,7 +3055,6 @@ expr_ref context::get_ground_sat_answer() { for (unsigned j = 0; j < sig_size; j++) { expr_ref sig_arg(m), sig_val(m); sig_arg = m.mk_const (m_pm.o2n(pt->sig(j), 0)); - std::cout << sig_arg << "\n"; sig_val = (*local_mdl)(sig_arg); ground_arg_vals.push_back(sig_val); }