[PPL-devel] [GIT] ppl/ppl(master): Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface.
Enea Zaffanella
zaffanella at cs.unipr.it
Sat Feb 5 21:03:52 CET 2011
Module: ppl/ppl
Branch: master
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
More information about the PPL-devel
mailing list