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

Author: Enea Zaffanella enea.zaffanella@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@_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.