[PPL-devel] [GIT] ppl/ppl(master): Fixed C interface incongruence.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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_ at CLASS@_BGP99_ at DISJUNCT_WIDEN@_extrapolation_assign_code',
 ppl_ at CLASS@_BGP99_ at DISJUNCT_WIDEN@_extrapolation_assign
 (ppl_ at CLASS@_t x,
  ppl_const_ at 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,