diff --git a/src/plugins/wp/gui/dune b/src/plugins/wp/gui/dune
index 5c2da7bba91d4ececce7c9357d747393d12c402e..9ed253e40cd90be9a9e7f171641add5290c61410 100644
--- a/src/plugins/wp/gui/dune
+++ b/src/plugins/wp/gui/dune
@@ -3,5 +3,5 @@
   (public_name frama-c-wp.gui)
   (optional)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Wp :standard -w -6-9-50)
-  (libraries frama-c-wp.core frama-c.kernel frama-c.gui why3 qed lablgtk2)
+  (libraries frama-c-wp.core frama-c.kernel frama-c.gui why3 qed)
 )