From 37bc4a4407d1cd4eab9de1e26c546aba5d4e8d26 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 19 Mar 2020 17:50:23 -0700
Subject: [PATCH] fix #3420

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qsat.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index 33337057a..4dcc41582 100644
--- a/src/qe/qsat.cpp
+++ b/src/qe/qsat.cpp
@@ -1329,7 +1329,6 @@ namespace qe {
         }
         
         void collect_statistics(statistics & st) const override {
-            std::cout << "collect stats\n";
             st.copy(m_st);
             m_fa.s().collect_statistics(st);
             m_ex.s().collect_statistics(st);