1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index e8ebb6f8..7805ef02 100755
--- a/configure
+++ b/configure
@@ -584,9 +584,9 @@ esac
 echo "Testing OCaml... " | tr -d '\n'
 ocaml_ver=`ocamlc -version 2>/dev/null`
 case "$ocaml_ver" in
-  4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*)
+  4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*|4.05.*)
         echo "version $ocaml_ver -- UNSUPPORTED"
-        echo "Error: CompCert requires OCaml version 4.05 or later."
+        echo "Error: CompCert requires OCaml version 4.06 or later."
         missingtools=true;;
   4.*)
         echo "version $ocaml_ver -- good!";;