diff --git a/src/parser/ligodity/dune b/src/parser/ligodity/dune index 7c53b0ef9..0ddebe72f 100644 --- a/src/parser/ligodity/dune +++ b/src/parser/ligodity/dune @@ -15,6 +15,7 @@ zarith tezos-utils ) + (flags (:standard -open Simple_utils )) ) ;; Les deux directives (rule) qui suivent sont pour le dev local.