diff --git a/lib/dune b/lib/dune index 323131d..9f3f812 100644 --- a/lib/dune +++ b/lib/dune @@ -3,6 +3,8 @@ (public_name miou-solo5) (modules miou_solo5) (libraries jsonm logs miou) + (flags + (:standard -no-keep-locs)) (wrapped false) (foreign_stubs (language c)