From 5f0a02b5f72be2450a1c814aac5ecba48f75e8c2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Nov 2017 09:05:17 -0800
Subject: [PATCH] remove output

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

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);