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)				\