diff options
Diffstat (limited to 'byterun/fail.h')
| -rw-r--r-- | byterun/fail.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/byterun/fail.h b/byterun/fail.h index 68d230098..fe966d810 100644 --- a/byterun/fail.h +++ b/byterun/fail.h @@ -20,7 +20,9 @@ #include <setjmp.h> /* </private> */ +#ifndef CAML_NAME_SPACE #include "compatibility.h" +#endif #include "misc.h" #include "mlvalues.h" |