[PPL-devel] [GIT] ppl/ppl(master): Initialize custom_compare_ext field in structure custom_operations.

[Enea Zaffanella]

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

Author: Enea Zaffanella <enea.zaffanella at bugseng.com>
Date:   Mon Sep  9 13:51:23 2013 +0200

Initialize custom_compare_ext field in structure custom_operations.

---

 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |    6 ++++--
 interfaces/OCaml/ppl_ocaml_common.cc               |    9 ++++++---
 2 files changed, 10 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 f07f513..3ef489c 100644
--- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
+++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4
@@ -50,7 +50,8 @@ struct custom_operations m4_current_interface`'_custom_operations = {
   custom_compare_default|COMMA|
   custom_hash_default|COMMA|
   custom_serialize_default|COMMA|
-  custom_deserialize_default
+  custom_deserialize_default|COMMA|
+  custom_compare_ext_default
 };
 
 } // namespace OCaml
@@ -1086,7 +1087,8 @@ struct custom_operations @CLASS at _iterator_custom_operations = {
   custom_compare_default|COMMA|
   custom_hash_default|COMMA|
   custom_serialize_default|COMMA|
-  custom_deserialize_default
+  custom_deserialize_default|COMMA|
+  custom_compare_ext_default
 };
 
 inline value
diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc
index 3e39178..6ddc47c 100644
--- a/interfaces/OCaml/ppl_ocaml_common.cc
+++ b/interfaces/OCaml/ppl_ocaml_common.cc
@@ -741,7 +741,8 @@ static struct custom_operations MIP_Problem_custom_operations = {
   custom_compare_default,
   custom_hash_default,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 inline value
@@ -769,7 +770,8 @@ static struct custom_operations PIP_Problem_custom_operations = {
   custom_compare_default,
   custom_hash_default,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 inline value
@@ -791,7 +793,8 @@ static struct custom_operations PIP_Tree_Node_custom_operations = {
   custom_compare_default,
   custom_hash_default,
   custom_serialize_default,
-  custom_deserialize_default
+  custom_deserialize_default,
+  custom_compare_ext_default
 };
 
 //! Give access to the embedded const PIP_Tree_Node* in \p v.