diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 0cf51dc20ce68ef8207883b9a20429a471e0802c..6bda287502546f4cc0823f78ffb4784dcba4235c 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -68,8 +68,10 @@ case $FRAMAC_VERSION in
       AC_MSG_ERROR(Frama-C version must be at least \
 $REQUIRED_NAME-$REQUIRED_NUMBER.)
     else
-      AC_MSG_WARN(Frama-C version is more recent than $REQUIRED_NAME: \
+      if test $VERSION_NUMBER -gt $REQUIRED_NUMBER; then
+        AC_MSG_WARN(Frama-C version is more recent than $REQUIRED_NAME: \
 use it at your own risk)
+      fi
     fi;;
 esac