From 0c4d82de58ec40c5c09143f79ea1a4f364938a18 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Mon, 2 Feb 2015 11:49:58 +0000 Subject: [PATCH] datalog: optimize previous commit Signed-off-by: Nuno Lopes --- src/muz/rel/dl_compiler.cpp | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/muz/rel/dl_compiler.cpp b/src/muz/rel/dl_compiler.cpp index 860add434..204a8f316 100644 --- a/src/muz/rel/dl_compiler.cpp +++ b/src/muz/rel/dl_compiler.cpp @@ -633,12 +633,8 @@ namespace datalog { // add at least one column for the negative filter if (pt_len != ut_len && filtered_res == execution_context::void_register) { - relation_signature & head_sig = m_reg_signatures[head_reg]; - if (head_sig.empty()) { - make_full_relation(head_pred, m_reg_signatures[head_reg], filtered_res, acc); - } else { - make_add_unbound_column(r, 0, head_pred, filtered_res, head_sig[0], filtered_res, dealloc, acc); - } + relation_signature empty_signature; + make_full_relation(head_pred, empty_signature, filtered_res, acc); } //enforce negative predicates