diff options
Diffstat (limited to 'kernel/byterun/coq_interp.c')
| -rw-r--r-- | kernel/byterun/coq_interp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c index ab63ff23a..81880464b 100644 --- a/kernel/byterun/coq_interp.c +++ b/kernel/byterun/coq_interp.c @@ -67,7 +67,7 @@ sp is a local copy of the global variable extern_sp. */ /* Wrapper pour caml_modify */ #ifdef OCAML_307 -#define CAML_MODIFY(a,b) caml_modify(a,b) +#define CAML_MODIFY(a,b) modify(a,b) #else #define CAML_MODIFY(a,b) caml_modify(a,b) #endif |