From 0dc85620aa8fb7319bab36b1d55db8f7a27cfbe1 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 15 Feb 2016 13:01:00 +0000
Subject: [PATCH] ML API bug fix

---
 src/api/ml/z3native_stubs.c.pre | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/z3native_stubs.c.pre b/src/api/ml/z3native_stubs.c.pre
index be330fc0a..1ba32efe4 100644
--- a/src/api/ml/z3native_stubs.c.pre
+++ b/src/api/ml/z3native_stubs.c.pre
@@ -69,7 +69,7 @@ static struct custom_operations default_custom_ops = {
     CAMLparam1(v);                                                      \
     CAMLlocal1(result);                                                 \
     Z3_ ## X ## _plus * p = (Z3_ ## X ## _plus *) Data_custom_val(v);   \
-    result = caml_alloc(sizeof(Z3_context_plus), 0);                    \
+    result = caml_alloc_custom(&Z3_context_plus_custom_ops, sizeof(Z3_context_plus), 0, 1); \
     *(Z3_context_plus*)Data_custom_val(result) = *p->cp;                \
     CAMLreturn(result);                                                 \
   }