diff --git a/src/muz/rel/dl_mk_explanations.cpp b/src/muz/rel/dl_mk_explanations.cpp
index e650b6e6b..55c87f66e 100644
--- a/src/muz/rel/dl_mk_explanations.cpp
+++ b/src/muz/rel/dl_mk_explanations.cpp
@@ -434,7 +434,6 @@ namespace datalog {
 
     relation_union_fn * explanation_relation_plugin::mk_union_fn(const relation_base & tgt, const relation_base & src, 
             const relation_base * delta) {
-        std::cout << "check kind: " << check_kind(tgt) << "\n";
         if (!check_kind(tgt) || (delta && !check_kind(*delta))) {
             return 0;
         }