From 743e56bda31fdd30b2d203afef2c6e42549c96d2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Dec 2021 12:08:10 -0800
Subject: [PATCH] remove output

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

diff --git a/src/sat/smt/euf_solver.cpp b/src/sat/smt/euf_solver.cpp
index d6ba945db..e90dfa32f 100644
--- a/src/sat/smt/euf_solver.cpp
+++ b/src/sat/smt/euf_solver.cpp
@@ -71,7 +71,6 @@ namespace euf {
 
     void solver::updt_params(params_ref const& p) {
         m_config.updt_params(p);
-        std::cout << get_config().m_relevancy_lvl << "\n";
     }
 
     /**