From 51aeb93ff352e42411bd55f89b8cd576ced2a1e4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 15 Aug 2023 13:07:46 -0700
Subject: [PATCH] remove output

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

diff --git a/src/sat/smt/synth_solver.cpp b/src/sat/smt/synth_solver.cpp
index c49eb1425..00f631c17 100644
--- a/src/sat/smt/synth_solver.cpp
+++ b/src/sat/smt/synth_solver.cpp
@@ -102,7 +102,6 @@ namespace synth {
     }
 
     sat::check_result solver::check() {
-        verbose_stream() << "check\n";
         if (m_synth.empty())
             return sat::check_result::CR_DONE;