diff --git a/src/muz_qe/dl_check_table.cpp b/src/muz_qe/dl_check_table.cpp
index d7dfbe1ae..18d5feb39 100644
--- a/src/muz_qe/dl_check_table.cpp
+++ b/src/muz_qe/dl_check_table.cpp
@@ -287,9 +287,6 @@ namespace datalog {
 
     bool check_table::well_formed() const {
         get_plugin().m_count++;
-        if (get_plugin().m_count == 497) {
-            std::cout << "here\n";
-        }
         iterator it = m_tocheck->begin(), end = m_tocheck->end();
         for (; it != end; ++it) {
             table_fact fact;