From 87712be04a88a6c852f6fb0db65f99b7458787b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 28 Jun 2026 12:05:32 -0700
Subject: [PATCH] disregard skolems

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/term_enumeration.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/term_enumeration.cpp b/src/ast/rewriter/term_enumeration.cpp
index 886e34bae6..2397db467b 100644
--- a/src/ast/rewriter/term_enumeration.cpp
+++ b/src/ast/rewriter/term_enumeration.cpp
@@ -355,7 +355,7 @@ public:
         m_rewriter(term, simplified);
         if (m_seen_terms.contains(simplified))
             return nullptr;
-        IF_VERBOSE(0, verbose_stream() << "add " << simplified << "\n");
+        IF_VERBOSE(10, verbose_stream() << "add " << simplified << "\n");
         m_seen_terms.insert(simplified);
         m_bank.add(simplified, cost);
         return simplified;