From da87f9ca86a1966fb5d80f7bfed920da245ac4e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Wed, 15 May 2019 17:10:57 +0200
Subject: [PATCH] Add implicit open of Simple_utils in ligodity

---
 src/parser/ligodity/dune | 1 +
 1 file changed, 1 insertion(+)

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.