Skip to content
Snippets Groups Projects
Commit 06fce624 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[wp/gui] no more need of explicit use of lablgtk2

parent 999734e6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
src/plugins/wp/gui/dune
+ 1
− 1
View file @ 06fce624
...@@ -3,5 +3,5 @@ ...@@ -3,5 +3,5 @@
(public_name frama-c-wp.gui) (public_name frama-c-wp.gui)
(optional) (optional)
(flags -open Frama_c_kernel -open Frama_c_gui -open Wp :standard -w -6-9-50) (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)
) )
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment