From ce01895ab397c986e812fd4f942515e7f4afc4fe Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 1 Aug 2017 16:54:27 +0100
Subject: [PATCH] Fixed ML API build.

---
 src/api/ml/z3native_stubs.c.pre | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/ml/z3native_stubs.c.pre b/src/api/ml/z3native_stubs.c.pre
index 5960d5095..cbc0ffda6 100644
--- a/src/api/ml/z3native_stubs.c.pre
+++ b/src/api/ml/z3native_stubs.c.pre
@@ -34,6 +34,9 @@ extern "C" {
   CAMLlocal5(X1,X2,X3,X4,X5);                                       	\
   CAMLlocal3(X6,X7,X8)
 
+#define CAMLparam6(X1,X2,X3,X4,X5,X6,X7)				\
+  CAMLparam5(X1,X2,X3,X4,X5);                                       	\
+  CAMLxparam1(X6)
 #define CAMLparam7(X1,X2,X3,X4,X5,X6,X7)				\
   CAMLparam5(X1,X2,X3,X4,X5);                                       	\
   CAMLxparam2(X6,X7)