From 75fd36101ff00bed23c9180e82f52276351b8e19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Fri, 22 Sep 2023 12:23:40 +0200
Subject: [PATCH] Stop promoting `cmly` file (fixes #1681)

---
 src/ocaml/preprocess/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ocaml/preprocess/dune b/src/ocaml/preprocess/dune
index c172777d31..ee9c283fab 100644
--- a/src/ocaml/preprocess/dune
+++ b/src/ocaml/preprocess/dune
@@ -9,7 +9,7 @@
 (menhir
  (modules parser_raw)
  (enabled_if (<> %{profile} "release"))
- (mode    promote)
+ (mode    (promote (only parser_raw.ml parser_raw.mli)))
  (flags :standard --inspection --table --cmly))
 
 (rule