diff --git a/src/plugins/wp/dune b/src/plugins/wp/dune
index 753e37873f39a6e3ca867439dff7baeeeeff95d4..66f18adf3463da8b152e8c8ebc4de8e332656836 100644
--- a/src/plugins/wp/dune
+++ b/src/plugins/wp/dune
@@ -39,7 +39,11 @@
   (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 server zarith ocamlgraph)
+  (libraries
+     frama-c.kernel
+     frama-c-rtegen.core
+     frama-c-server.core
+     qed why3 zarith ocamlgraph)
 )
 
 (plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins)))