diff options
Diffstat (limited to 'utils/config.mlp')
| -rw-r--r-- | utils/config.mlp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/utils/config.mlp b/utils/config.mlp index 370adbc387..599f5eca1c 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -39,12 +39,12 @@ let binutils_nm = "%%BINUTILS_NM%%" let binutils_objcopy = "%%BINUTILS_OBJCOPY%%" let cc_profile = "%%CC_PROFILE%%" -let exec_magic_number = "Caml1999X007" -and cmi_magic_number = "Caml1999I009" -and cmo_magic_number = "Caml1999O005" -and cma_magic_number = "Caml1999A006" -and cmx_magic_number = "Caml1999Y008" -and cmxa_magic_number = "Caml1999Z009" +let exec_magic_number = "Caml1999X008" +and cmi_magic_number = "Caml1999I010" +and cmo_magic_number = "Caml1999O006" +and cma_magic_number = "Caml1999A007" +and cmx_magic_number = "Caml1999Y009" +and cmxa_magic_number = "Caml1999Z010" and ast_impl_magic_number = "Caml1999M010" and ast_intf_magic_number = "Caml1999N009" |