From eac5070a2ea7d1a91334da5b336974229d813f70 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 23 Mar 2020 19:04:26 -0700
Subject: [PATCH] remove stdout

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/int_set.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/int_set.h b/src/math/lp/int_set.h
index d8db90d24..ca698be3e 100644
--- a/src/math/lp/int_set.h
+++ b/src/math/lp/int_set.h
@@ -64,7 +64,6 @@ public:
             }
             for (unsigned j : m_resize_buffer)
                 erase(j);
-            std::cout << m_resize_buffer.size() << "\n";
             m_resize_buffer.clear();
         }
         m_data.resize(size, -1);