From ce6fc21befff12b905dd788c7db4fdce107c97db Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 May 2021 14:17:13 -0700
Subject: [PATCH] fix #5300

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/cmd_context/cmd_context.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index 315c26d95..fd8eeb3f1 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -611,7 +611,6 @@ void cmd_context::set_produce_models(bool f) {
 }
 
 void cmd_context::set_produce_unsat_cores(bool f) {
-    std::cout << "uc\n";
     // can only be set before initialization
     SASSERT(!has_manager());
     m_params.m_unsat_core |= f;