From a195b7766c2574d8b5255af22d5c2c16aca37569 Mon Sep 17 00:00:00 2001
From: Calascibetta Romain <romain.calascibetta@gmail.com>
Date: Mon, 24 Feb 2025 13:52:43 +0100
Subject: [PATCH] Add -no-keep-locs as we do for variants

---
 lib/dune | 2 ++
 1 file changed, 2 insertions(+)

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)