Add implicit open of Simple_utils in ligodity

2019-05-15 17:10:57 +02:00 · 2019-05-15 17:10:57 +02:00 · da87f9ca86
commit da87f9ca86
parent 8821e6c01e
1 changed files with 1 additions and 0 deletions
--- 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.