remove verbose output

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 16, 2025 · fe27ca1 · fe27ca1
1 parent 50f9fdd
commit fe27ca1
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/qe/mbp/mbp_euf.cpp b/src/qe/mbp/mbp_euf.cpp
@@ -128,8 +128,6 @@ namespace mbp {
                     m_parents.insert_if_not_there(arg, {}).push_back(t);
             }
         }
-        for (auto [key, value] : m_reps)
-            verbose_stream() << mk_pp(key, m) << " -> " << mk_pp(value, m) << "\n";
         unsigned j = 0;
         bool solved = false;
         for (app* v : vars) {
@@ -204,7 +202,6 @@ namespace mbp {
         for (auto e : partition) {
             if (a == e)
                 continue;
-            verbose_stream() << "Unify " << mk_pp(a, m) << " with " << mk_pp(e, m) << "\n";
             if (!same_decl(a, e))
                 continue;
             app* b = to_app(e);