[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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_ at CLASS@_iterator_finalize(value v) {
 }
 
 struct custom_operations @CLASS at _iterator_custom_operations = {
-  "it.unipr.cs.ppl" "." PPL_VERSION "." "@CLASS at _iterator"|COMMA|
+  "com.bugseng.ppl" "." PPL_VERSION "." "@CLASS at _iterator"|COMMA|
   custom_ at 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,