From a12be9670ce8df657332e40e8643f88caedc01ab Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 May 2026 17:05:51 -0700
Subject: [PATCH] remove print

---
 src/util/dependency.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/dependency.h b/src/util/dependency.h
index 10b6db3df..61219a97c 100644
--- a/src/util/dependency.h
+++ b/src/util/dependency.h
@@ -229,7 +229,6 @@ public:
     void linearize(dependency * d, vector<value, T> & vs) const {
         if (!d) 
             return;
-        std::cout << "linearize " << this << " " << d << "\n";
         SASSERT(m_todo.empty());
         d->mark();
         m_todo.push_back(d);