Module: ppl/ppl Branch: master Commit: 1ff76cad0788fa1893f40f32257dcd3c732f2319 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff76cad0788f...

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 16:52:41 2012 +0100

Fixed C interface incongruence. Detected by ECLAIR service utypflag.

---

interfaces/C/ppl_interface_generator_c_cc_code.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/C/ppl_interface_generator_c_cc_code.m4 b/interfaces/C/ppl_interface_generator_c_cc_code.m4 index 3bf5ce3..43d971e 100644 --- a/interfaces/C/ppl_interface_generator_c_cc_code.m4 +++ b/interfaces/C/ppl_interface_generator_c_cc_code.m4 @@ -758,7 +758,7 @@ m4_define(`ppl_@CLASS@_BGP99_@DISJUNCT_WIDEN@_extrapolation_assign_code', ppl_@CLASS@_BGP99_@DISJUNCT_WIDEN@_extrapolation_assign (ppl_@CLASS@_t x, ppl_const_@CLASS@_t y, - int disjuncts) try { + unsigned disjuncts) try { @CPP_CLASS@& xx = *to_nonconst(x); const @CPP_CLASS@& yy = *to_const(y); xx.BGP99_extrapolation_assign(yy,