diff options
| -rw-r--r-- | stdlib/sys.ml | 2 | ||||
| -rw-r--r-- | utils/config.mlp | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 2c158f09e..dbb820f4f 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -78,4 +78,4 @@ let catch_break on = (* OCaml version string, must be in the format described in sys.mli. *) -let ocaml_version = "3.10+dev16 (2006-11-06)";; +let ocaml_version = "3.10+dev17 (2006-11-15)";; diff --git a/utils/config.mlp b/utils/config.mlp index 97e6b2256..f92362a1d 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -45,8 +45,8 @@ and cmo_magic_number = "Caml1999O006" and cma_magic_number = "Caml1999A007" and cmx_magic_number = "Caml1999Y010" and cmxa_magic_number = "Caml1999Z010" -and ast_impl_magic_number = "Caml1999M010" -and ast_intf_magic_number = "Caml1999N009" +and ast_impl_magic_number = "Caml1999M011" +and ast_intf_magic_number = "Caml1999N010" let load_path = ref ([] : string list) |