diff options
Diffstat (limited to 'kernel/byterun/coq_fix_code.h')
| -rw-r--r-- | kernel/byterun/coq_fix_code.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/byterun/coq_fix_code.h b/kernel/byterun/coq_fix_code.h index 00345318..c1a4e0ae 100644 --- a/kernel/byterun/coq_fix_code.h +++ b/kernel/byterun/coq_fix_code.h @@ -12,7 +12,7 @@ #ifndef _COQ_FIX_CODE_ #define _COQ_FIX_CODE_ -#include <mlvalues.h> +#include <caml/mlvalues.h> void * coq_stat_alloc (asize_t sz); #ifdef THREADED_CODE |