From 8cb30d05055b3c8abf0eda90bc04e97a18a0d08b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 12 Dec 2020 12:21:34 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/rel/dl_instruction.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/muz/rel/dl_instruction.cpp b/src/muz/rel/dl_instruction.cpp
index 514ead983..98bb2be13 100644
--- a/src/muz/rel/dl_instruction.cpp
+++ b/src/muz/rel/dl_instruction.cpp
@@ -581,7 +581,6 @@ namespace datalog {
         bool perform(execution_context & ctx) override {
             log_verbose(ctx);            
             if (!ctx.reg(m_src)) {
-                std::cout << "not " << m_src << "\n";
                 ctx.make_empty(m_res);
                 return true;
             }
@@ -591,7 +590,6 @@ namespace datalog {
             relation_base & reg = *ctx.reg(m_src);
             TRACE("dl_verbose", reg.display(tout <<"pre-filter-interpreted-and-project:\n"););
             if (!find_fn(reg, fn)) {
-                std::cout << m_cond << "\n";
                 fn = reg.get_manager().mk_filter_interpreted_and_project_fn(reg, m_cond, m_cols.size(), m_cols.c_ptr());
                 if (!fn) {
                     throw default_exception(default_exception::fmt(), 
@@ -604,7 +602,6 @@ namespace datalog {
             ctx.set_reg(m_res, (*fn)(reg));
 
             if (ctx.reg(m_res)->fast_empty()) {
-                std::cout << "fast empty\n";
                 ctx.make_empty(m_res);
             }
             // TRACE("dl_verbose", reg.display(tout << "post-filter-interpreted-and-project:\n"););