From 32599fbdc3f7e204a3029f8157215a654b41bede Mon Sep 17 00:00:00 2001 From: Linas Vepstas Date: Mon, 20 Apr 2020 18:56:52 -0500 Subject: [PATCH] Bug-fix for issue #2546 CondLink was incomplete in reducing things. --- opencog/atoms/core/CondLink.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/opencog/atoms/core/CondLink.cc b/opencog/atoms/core/CondLink.cc index 9c2475a89b..f605fabbfc 100644 --- a/opencog/atoms/core/CondLink.cc +++ b/opencog/atoms/core/CondLink.cc @@ -21,6 +21,7 @@ #include #include +#include #include "CondLink.h" @@ -96,7 +97,10 @@ ValuePtr CondLink::execute(AtomSpace *scratch, bool silent) { if (exps[i]->is_executable()) return exps[i]->execute(scratch, silent); - return exps[i]; + + // Reduce the clause further, if possible. + Instantiator inst(scratch); + return inst.execute(exps[i]); } }