[PPL-devel] [GIT] ppl/ppl(termination): Fixed some cut and paste typos.

Patricia Hill p.m.hill at leeds.ac.uk
Wed Mar 17 08:18:51 CET 2010


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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Mar 17 07:17:59 2010 +0000

Fixed some cut and paste typos.

---

 .../ppl_interface_generator_prolog_cc_code.m4      |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
index 647d722..46d0316 100644
--- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
+++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
@@ -1249,7 +1249,7 @@ m4_define(`ppl_ at CLASS@_termination_test_ at TERMINATION_ID@_2_code',
   ppl_ at CLASS@_termination_test_ at TERMINATION_ID@_2
   (Prolog_term_ref t_pset_before, Prolog_term_ref t_pset_after) {
   static const char* where
-      = "ppl_ at CLASS@_termination_test_ at TERMINATION_ID@_2/1";
+      = "ppl_ at CLASS@_termination_test_ at TERMINATION_ID@_2/2";
   try {
     @CPP_CLASS@* pset_before
        = term_to_handle<@CPP_CLASS@ >(t_pset_before, where);
@@ -1293,7 +1293,7 @@ m4_define(`ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@_2_code',
    Prolog_term_ref t_pset_after,
    Prolog_term_ref t_g) {
   static const char* where
-     = "ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@_2/2";
+     = "ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@_2/3";
   try {
     @CPP_CLASS@* pset_before
        = term_to_handle<@CPP_CLASS@ >(t_pset_before, where);
@@ -1347,7 +1347,7 @@ m4_define(`ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@_2_code',
    Prolog_term_ref t_pset_after,
    Prolog_term_ref t_ph) {
   static const char* where =
-      "ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@_2/2";
+      "ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@_2/3";
   try {
     @CPP_CLASS@* pset_before
        = term_to_handle<@CPP_CLASS@ >(t_pset_before, where);




More information about the PPL-devel mailing list