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