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