From 06fce624e41fb7acb5b92a3524cfbb9c84aae042 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 22 Feb 2022 13:22:04 +0100
Subject: [PATCH] [wp/gui] no more need of explicit use of lablgtk2

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

diff --git a/src/plugins/wp/gui/dune b/src/plugins/wp/gui/dune
index 5c2da7bba91..9ed253e40cd 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)
 )
-- 
GitLab