diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 7a16150db15ae19ab1228a7cd66b4b8919e262b4..bfda65f8de4803c7a6e21af047d8a7d5005437f2 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -85,7 +85,7 @@ if test "$ENABLE_WP" != "no"; then
     if test "$COQC" = "yes" ; then
       COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
       case $COQVERSION in
-        8.12.*|trunk)
+        8.13.*|trunk)
           AC_MSG_RESULT(coqc version $COQVERSION found)
           ;;
         *)