diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index 009d2818c..a954f08c0 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -1030,7 +1030,6 @@ struct sat2goal::imp {
 
         void operator()(expr_ref& formula) override {
             if (!m_imc) {
-                std::cout << "create generic\n";
                 m_imc = alloc(generic_model_converter, m());
                 sat::literal_vector updates;
                 m_mc.expand(updates);