diff options
Diffstat (limited to 'utils/config.mlp')
| -rw-r--r-- | utils/config.mlp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/config.mlp b/utils/config.mlp index 985c5999aa..f59243e95f 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -56,8 +56,8 @@ and cmo_magic_number = "Caml1999O007" and cma_magic_number = "Caml1999A008" and cmx_magic_number = "Caml1999Y011" and cmxa_magic_number = "Caml1999Z010" -and ast_impl_magic_number = "Caml1999M014" -and ast_intf_magic_number = "Caml1999N013" +and ast_impl_magic_number = "Caml1999M015" +and ast_intf_magic_number = "Caml1999N014" and cmxs_magic_number = "Caml2007D001" and cmt_magic_number = "Caml2012T001" |