From 3be4286c5dc395b280e1042d9ca4b34a9d1ad604 Mon Sep 17 00:00:00 2001 From: Zack Coker Date: Thu, 13 Jul 2017 17:52:27 -0400 Subject: [PATCH] update compiler switch version --- src/util/travis.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/travis.sh b/src/util/travis.sh index 14fd5dade3..f6855d0063 100644 --- a/src/util/travis.sh +++ b/src/util/travis.sh @@ -87,7 +87,7 @@ case $COMPILER in 4.02) OCAML_VERSION=4.02.3;; 4.03) OCAML_VERSION=4.03.0;; 4.04) OCAML_VERSION=4.04.2;; - 4.05) OCAML_VERSION=4.05.0+rc1;; + 4.05) OCAML_VERSION=4.05.0;; 4.06) OCAML_VERSION=4.06.0+trunk;; system) OCAML_VERSION=`ocamlc -version`;; *) echo Unsupported compiler $COMPILER; exit 1;;