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;