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();