diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 90a91998c97466a772e7f04d86ec5a918c9e680f..7253a06965adf5c7e6d7931200ccc91e1c0cde07 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -56,6 +56,8 @@ REQUIRE_WHY3=
 USE_WHY3=
 HAS_WHY3=
 
+configure_pkg(why3,[package why3 not found])
+
 AC_MSG_CHECKING(why3 version)
 WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'`
 case $WHY3VERSION in
@@ -71,8 +73,6 @@ case $WHY3VERSION in
         ;;
 esac
 
-configure_pkg(why3,[package why3 not found])
-
 plugin_require_external(wp,why3)
 
 AC_SUBST(HAS_WHY3)