Skip to content

Commit

Permalink
Stop promoting cmly file (fixes #1681)
Browse files Browse the repository at this point in the history
  • Loading branch information
voodoos committed Sep 22, 2023
1 parent c6835c6 commit a717c89
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ocaml/preprocess/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a717c89

Please sign in to comment.