diff --git a/src/model/model_evaluator.cpp b/src/model/model_evaluator.cpp
index 429a73058..b326966d7 100644
--- a/src/model/model_evaluator.cpp
+++ b/src/model/model_evaluator.cpp
@@ -373,7 +373,6 @@ struct evaluator_cfg : public default_rewriter_cfg {
 
             var_subst vs(m, false);
             result = vs(fi->get_interp(), num, args);
-            std::cout << result << "\n";
             return BR_REWRITE_FULL;
         }