1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index c8a956ec..3da00fb3 100755
--- a/configure
+++ b/configure
@@ -548,7 +548,7 @@ case "$coq_ver" in
         if $ignore_coq_version; then
             echo "Warning: this version of Coq is unsupported, proceed at your own risks."
         else
-            echo "Error: CompCert requires a version of Coq between 8.9.0 and 8.14.0"
+            echo "Error: CompCert requires a version of Coq between 8.9.0 and 8.14.1"
             missingtools=true
         fi;;
   "")