From 95be0cf9bae03ed45d20e0d972495a290aec13f9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 25 Jul 2025 20:22:52 -0700
Subject: [PATCH] remove verbose output

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

diff --git a/src/ast/simplifiers/solve_eqs.cpp b/src/ast/simplifiers/solve_eqs.cpp
index 335dd1ae1..9022f0c8d 100644
--- a/src/ast/simplifiers/solve_eqs.cpp
+++ b/src/ast/simplifiers/solve_eqs.cpp
@@ -133,7 +133,6 @@ namespace euf {
 
 
                     m_todo.push_back(t);
-                    verbose_stream() << "check " << mk_pp(t, m) << "\n";
                     expr_fast_mark1 visited;
                     while (!m_todo.empty()) {
                         expr* e = m_todo.back();