From 771893a5ebc97d8d15ebe76b6db7eeb3c7237302 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 13 Jul 2022 08:53:52 +0200
Subject: [PATCH] [dune] rebased on master

---
 src/plugins/wp/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/dune b/src/plugins/wp/dune
index f83bd2fd2bc..753e37873f3 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)))
-- 
GitLab