diff options
| -rwxr-xr-x | boot/ocamlc | bin | 854958 -> 855027 bytes | |||
| -rwxr-xr-x | boot/ocamllex | bin | 97356 -> 97353 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 4caea59dd..104bf3bc0 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex d1aa933f0..c808de06d 100755 --- a/boot/ocamllex +++ b/boot/ocamllex diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 30c580c0c..d0ca424fe 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -78,4 +78,4 @@ let catch_break on = (* OCaml version string, moved from utils/config.mlp. Must be in the format described in sys.mli. *) -let ocaml_version = "3.04+15 (2002-06-18)" +let ocaml_version = "3.05 (2002-07-22)" |