diff options
| -rwxr-xr-x | boot/ocamlc | bin | 1012627 -> 1012763 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 160709 -> 160845 bytes | |||
| -rw-r--r-- | stdlib/sys.ml | 2 |
3 files changed, 1 insertions, 1 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 3dd91f7f6..13aaa10b6 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex c81f2e052..b81c445db 100755 --- a/boot/ocamllex +++ b/boot/ocamllex diff --git a/stdlib/sys.ml b/stdlib/sys.ml index b234741bd..50845d9f1 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+dev13 (2006-10-24)";; +let ocaml_version = "3.10+dev14 (2006-10-27)";; |