From e463d5d899599fd3da87b765fd3e53261c8651d5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 12 Jun 2015 18:31:28 -0700
Subject: [PATCH] remove spurious print statement

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

diff --git a/src/muz/base/dl_context.cpp b/src/muz/base/dl_context.cpp
index aeccd2633..3555e5bdc 100644
--- a/src/muz/base/dl_context.cpp
+++ b/src/muz/base/dl_context.cpp
@@ -567,7 +567,6 @@ namespace datalog {
             m_rule_properties.check_uninterpreted_free();
             break;
         case QPDR_ENGINE:
-            std::cout << "QD\n";
             m_rule_properties.collect(r);
             m_rule_properties.check_for_negated_predicates();
             m_rule_properties.check_uninterpreted_free();