diff --git a/lib/dune b/lib/dune index bfbb41e5f91ace68abc8631cc8a64f7e26bc4fde..7f8ed5a04236f31507bb3ef91b1b7f30aa1ef87d 100644 --- a/lib/dune +++ b/lib/dune @@ -1,7 +1,7 @@ (library (name Lv6Run) (public_name lustre-v6) - (libraries extlib num rdbg) + (libraries extlib num rdbg yaml) (wrapped false) ; (library_flags (-linkall))