diff --git a/src/plugins/wp/wp.ml b/src/plugins/wp/wp.ml
index 3e23f8723a39e02c34edb5d4ee493180a0c0d261..d7f718fc2f9270912040f6e4dfeae383ca843c6a 100644
--- a/src/plugins/wp/wp.ml
+++ b/src/plugins/wp/wp.ml
@@ -77,7 +77,6 @@ module ProverSearch = ProverSearch
 module WpRTE = WpRTE
 module Rformat = Rformat
 module WpContext = WpContext
-module WpStrategy = WpStrategy
 module Why3Provers = Why3Provers
 module ProverWhy3 = ProverWhy3
 module Cache = Cache