remove verbose output

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

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();