diff --git a/src/plugins/wp/wp.ml b/src/plugins/wp/wp.ml
index d7f718fc2f9270912040f6e4dfeae383ca843c6a..c4989796e7bb55fd24fbf073723288e4ca9879e1 100644
--- a/src/plugins/wp/wp.ml
+++ b/src/plugins/wp/wp.ml
@@ -66,7 +66,7 @@ module VC = VC
 module Wpo = Wpo
 module ProverTask = ProverTask
 module Prover = Prover
-
+module AssignsCompleteness = AssignsCompleteness
 
 (** For gui *)
 module ProofEngine = ProofEngine