Module: ppl/ppl Branch: termination Commit: 9eda06954832ce1cc59c0888d00ef514ed08065c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eda06954832c...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 18 18:15:16 2010 +0400
Termination functions renamed in non-C++ interfaces.
---
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 24 ++++++------ interfaces/C/ppl_interface_generator_c_h_code.m4 | 24 ++++++------ ...l_interface_generator_c_procedure_generators.m4 | 12 +++--- .../ppl_interface_generator_prolog_cc_code.m4 | 36 ++++++++++---------- .../ppl_interface_generator_prolog_hh_code.m4 | 24 ++++++------ ...erface_generator_prolog_procedure_generators.m4 | 12 +++--- 6 files changed, 66 insertions(+), 66 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9eda06954...