Module: ppl/ppl Branch: master Commit: 6821ba41f0d1c8a8f08c839fe33781e5a2f7b314 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6821ba41f0d1c...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 23 17:38:48 2010 +0000
Type error fixed.
---
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index 5ec23cd..1922588 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -1348,7 +1348,7 @@ ppl_@CLASS@_wrap_assign_native build_ppl_bounded_integer_type_overflow(oflow); Constraint_System ppl_cs = build_ppl_Constraint_System(cs); unsigned ppl_complexity = value_to_unsigned<unsigned>(complexity); - bool ppl_wrap_ind = Int_val(wrap_ind); + bool ppl_wrap_ind = Bool_val(wrap_ind); pph.wrap_assign(ppl_vset, build_ppl_bounded_integer_type_width(width), build_ppl_bounded_integer_type_representation(rep),