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;