[PPL-devel] [GIT] ppl/ppl(termination): Fixed several typos.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 17 21:11:12 2010 +0400

Fixed several typos.

---

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

diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl
index a7b9d38..5abfb02 100644
--- a/interfaces/Prolog/tests/pl_check.pl
+++ b/interfaces/Prolog/tests/pl_check.pl
@@ -1823,20 +1823,20 @@ ok(T) :-
 %       ppl_termination_test_NNC_Polyhedron_PR/2.
 termination_test :-
   make_vars(4, [A, B, C, D]),
-  clean_ppl_new_Polyhedron_from_constraints(C,
+  clean_ppl_new_Polyhedron_from_constraints(c,
                                             [A - C >= 0,
-                                             -A + C >= 0;
-                                             -B + D >= 1;
-                                             B >= 0;
+                                             -A + C >= 0,
+                                             -B + D >= 1,
+                                             B >= 0,
                                              A >= 1], P1),
   ppl_termination_test_C_Polyhedron_MS(P1),
   ppl_termination_test_C_Polyhedron_PR(P1),
-  clean_ppl_new_Polyhedron_from_constraints(NNC,
+  clean_ppl_new_Polyhedron_from_constraints(nnc,
                                             [A - C >= 0,
-                                             -A + C >= 0;
-                                             -B + D >= 1;
-                                             B >= 0;
-                                           P2),
+                                             -A + C >= 0,
+                                             -B + D >= 1,
+                                             B >= 0],
+					    P2),
   ppl_termination_test_NNC_Polyhedron_MS(P2),
   ppl_termination_test_NNC_Polyhedron_PR(P2),
   !,