From 0f75efc78725c94335f4b790be911fdf6e33f4e4 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 18 Aug 2004 18:41:49 +0000 Subject: [PATCH] - Fixed bug in interm relation. - Commented flag for normal version. --- src/arachne.c | 8 +++++--- src/binding.c | 2 +- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/arachne.c b/src/arachne.c index bed021e..44c2d48 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -547,8 +547,8 @@ select_goal () b = (Binding) bl->data; if (!b->done) { - // We don't care about singular variables, so... - if (!isTermVariable (b->term)) + // We don't care about singular agent variables, so... + if (! (isTermVariable (b->term) && inTermlist (b->term->stype, TERM_Agent))) { float cons; @@ -1029,10 +1029,12 @@ iterate () #endif indentDepth--; - if (!flag) +#ifdef DEBUG + if (DEBUGL (5) && !flag) { warning ("Flag has turned 0!"); } +#endif return flag; } diff --git a/src/binding.c b/src/binding.c index 92ff099..a8c98be 100644 --- a/src/binding.c +++ b/src/binding.c @@ -372,7 +372,7 @@ bindings_c_minimal () Roledef rd; rd = roledef_shift (sys->runs[run].start, ev); - if (termInTerm (b->term, rd->message)) + if (termInTerm (rd->message, b->term)) { // This term already occurs as interm in a previous node! return 0;