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

---
 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 cbc0ffda6..1b1ea3fde 100644
--- a/src/api/ml/z3native_stubs.c.pre
+++ b/src/api/ml/z3native_stubs.c.pre
@@ -34,7 +34,7 @@ extern "C" {
   CAMLlocal5(X1,X2,X3,X4,X5);                                       	\
   CAMLlocal3(X6,X7,X8)
 
-#define CAMLparam6(X1,X2,X3,X4,X5,X6,X7)				\
+#define CAMLparam6(X1,X2,X3,X4,X5,X6)                   \
   CAMLparam5(X1,X2,X3,X4,X5);                                       	\
   CAMLxparam1(X6)
 #define CAMLparam7(X1,X2,X3,X4,X5,X6,X7)				\