diff options
Diffstat (limited to 'utils/config.mlbuild')
| -rw-r--r-- | utils/config.mlbuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/config.mlbuild b/utils/config.mlbuild index c12d834b9e..68a7c85849 100644 --- a/utils/config.mlbuild +++ b/utils/config.mlbuild @@ -68,6 +68,7 @@ and cmx_magic_number = "Caml1999Y011" and cmxa_magic_number = "Caml1999Z010" and ast_impl_magic_number = "Caml1999M013" and ast_intf_magic_number = "Caml1999N012" +and cmxs_magic_number = "Caml2007D001" let load_path = ref ([] : string list) |