[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