Bug-fix for issue opencog#2546

CondLink was incomplete in reducing things.
linas · Apr 20, 2020 · 32599fb · 32599fb
1 parent 1a8c7f5
commit 32599fb
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/opencog/atoms/core/CondLink.cc b/opencog/atoms/core/CondLink.cc
@@ -21,6 +21,7 @@
 
 #include <opencog/atoms/base/ClassServer.h>
 #include <opencog/atoms/execution/EvaluationLink.h>
+#include <opencog/atoms/execution/Instantiator.h>
 
 #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]);
 		}
 	}