From 904bc34139d3982f5cd1880fc973ceb35900a998 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 5 Feb 2019 10:02:58 +0000
Subject: [PATCH] remove some debug leftover

---
 src/smt/smt_quantifier.cpp | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/smt/smt_quantifier.cpp b/src/smt/smt_quantifier.cpp
index 68c58d330..93354bfb4 100644
--- a/src/smt/smt_quantifier.cpp
+++ b/src/smt/smt_quantifier.cpp
@@ -260,13 +260,6 @@ namespace smt {
                 m_qi_queue.insert(f, pat, max_generation, min_top_generation, max_top_generation); // TODO
                 m_num_instances++;
             }
-            static unsigned count = 0;
-            CTRACE("quantifier", f != nullptr, 
-                   tout << (count++) << " " << q->get_id() << "\n";
-                   if (q->get_id() == 28 || true) {
-                       tout << mk_ll_pp(q, m()) << "\n";
-                   }
-                   );
 
             CTRACE("quantifier_", f != nullptr, 
                   tout << expr_ref(q, m()) << " ";