From ea2b17d83b9edd5363e298dd653b01f4343c218d Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Wed, 20 Mar 2013 10:40:52 -0700
Subject: [PATCH] remove debug code

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/muz_qe/dl_check_table.cpp | 3 ---
 1 file changed, 3 deletions(-)

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;