[PPL-devel] [GIT] ppl/ppl(pip): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Feb  5 21:01:13 2011 +0100

Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.

---

 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
index fe0f213..4a829e7 100644
--- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
+++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
@@ -984,9 +984,10 @@ ppl_ at CLASS@_get_disjunct(value caml_it) try {
   CAMLparam1(caml_it);
   CAMLlocal1(caml_return_value);
   @CPP_CLASS@::iterator& cpp_it  = *p_ at CLASS@_iterator_val(caml_it);
-  @DISJUNCT_TOPOLOGY@@A_DISJUNCT@ disjunct = cpp_it->pointset();
+  const @DISJUNCT_TOPOLOGY@@A_DISJUNCT@& disjunct = cpp_it->pointset();
   caml_return_value = unregistered_value_p_ at DISJUNCT@(disjunct);
-  actual_p_ at DISJUNCT@_val(caml_return_value) = mark(&disjunct);
+  actual_p_ at DISJUNCT@_val(caml_return_value)
+    = const_cast<@DISJUNCT_TOPOLOGY@@A_DISJUNCT@*>(mark(&disjunct));
   CAMLreturn(caml_return_value);
 }
 CATCH_ALL