Module: ppl/ppl Branch: master Commit: 99f17d8aa4bd39d2dfb3b9404a73ea907f7d2698 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f17d8aa4bd3...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 8 11:42:06 2010 +0100

Typo fixed.

---

interfaces/Prolog/tests/pl_check.pl | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index d291960..e70d85a 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -2472,7 +2472,7 @@ pip_solution :- ppl_PIP_Tree_Node_as_decision(Tree_Node, Dec), ppl_PIP_Tree_Node_constraints(Dec, _CS1), ppl_PIP_Decision_Node_get_true_child(Dec, TChild), - ppl_PIP_Decision_Node_get_true_child(Dec, _FChild), + ppl_PIP_Decision_Node_get_false_child(Dec, _FChild), ppl_PIP_Tree_Node_as_decision(TChild, TChild_Dec), ppl_PIP_Decision_Node_get_true_child(TChild_Dec, TTChild), + ppl_PIP_Tree_Node_as_decision(TTChild, _TTChild_Dec),