summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2006-10-27 09:15:05 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2006-10-27 09:15:05 +0000
commit6ef4e22e548362a1bf893edb645dfba1d27e5ea2 (patch)
tree2b249faeca31a5518185f6d8d940946b2527b216
parent5f5211a849ad1e758edfbcf963ec3606cd2038f8 (diff)
Version modification.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xboot/ocamlcbin1012627 -> 1012763 bytes
-rwxr-xr-xboot/ocamllexbin160709 -> 160845 bytes
-rw-r--r--stdlib/sys.ml2
3 files changed, 1 insertions, 1 deletions
diff --git a/boot/ocamlc b/boot/ocamlc
index 3dd91f7f6..13aaa10b6 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index c81f2e052..b81c445db 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ
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)";;