From c849867eeb8a3342a5607e66b2b4e584a02c506c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Apr 2021 12:41:21 -0700
Subject: [PATCH] na

---
 src/model/model_evaluator.cpp | 1 -
 1 file changed, 1 deletion(-)

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