[PPL-devel] [GIT] ppl/ppl(master): Typo fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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),