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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 16:43:24 2011 +0100

Updated.

---

.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 4 ++-- interfaces/OCaml/ppl_ocaml_common.cc | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index 33e84d7..9718516 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -45,7 +45,7 @@ namespace Interfaces { namespace OCaml {

struct custom_operations m4_current_interface`'_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| custom_`'m4_current_interface`'_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| @@ -1057,7 +1057,7 @@ custom_@CLASS@_iterator_finalize(value v) { }

struct custom_operations @CLASS@_iterator_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| custom_@CLASS@_iterator_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index ae2185e..f369c4e 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -770,7 +770,7 @@ custom_MIP_Problem_finalize(value v) { }

static struct custom_operations MIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "MIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "MIP_Problem", custom_MIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -798,7 +798,7 @@ custom_PIP_Problem_finalize(value v) { }

static struct custom_operations PIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Problem", custom_PIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -820,7 +820,7 @@ unregistered_value_p_PIP_Problem(const PIP_Problem& ph) { // In principle, we could directly store a PIP_Tree_Node* in a Caml 'value': // the use of a Custom_tag block is anyway recommended by Caml manual. static struct custom_operations PIP_Tree_Node_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Tree_Node", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Tree_Node", custom_finalize_default, custom_compare_default, custom_hash_default,