diff --git a/src/plugins/wp/dune b/src/plugins/wp/dune
index f83bd2fd2bca4090a5b6184a76a3c89daddc654f..753e37873f39a6e3ca867439dff7baeeeeff95d4 100644
--- a/src/plugins/wp/dune
+++ b/src/plugins/wp/dune
@@ -39,7 +39,7 @@
   (optional)
   (public_name frama-c-wp.core)
   (flags (-open Frama_c_kernel :standard -w -9))
-  (libraries frama-c.kernel frama-c-rtegen.core why3 qed zarith ocamlgraph)
+  (libraries frama-c.kernel frama-c-rtegen.core why3 qed server zarith ocamlgraph)
 )
 
 (plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins)))