[PPL-devel] [GIT] ppl/ppl(termination): Termination functions renamed in non-C++ interfaces.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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=9eda06954832ce1cc59c0888d00ef514ed08065c