From 1d18934ddb2296b9029cb81222d8a9b96ca471de Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 15 Dec 2014 16:19:38 -0800 Subject: [PATCH] fix overflow and integrality bugs reported by Phan Signed-off-by: Nikolaj Bjorner --- src/muz/rel/dl_mk_explanations.cpp | 1 - 1 file changed, 1 deletion(-) 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; }