mirror of
https://github.com/Z3Prover/z3
synced 2025-04-22 16:45:31 +00:00
Fixed ML API build again
This commit is contained in:
parent
ce01895ab3
commit
aefed78f1a
1 changed files with 1 additions and 1 deletions
|
@ -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) \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue