diff options
-rw-r--r-- | VERSION | 2 | ||||
-rwxr-xr-x | boot/ocamlc | bin | 2290293 -> 2290277 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 305603 -> 305603 bytes |
3 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -4.07.0+dev9-2018-06-26 +4.07.0+rc2 # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 1818a32703..21cbe67256 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex a322aa91ce..f938d77e1d 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |