Skip to content

Commit

Permalink
docs: fix small typo in doc/reference/dune/env.rst (#11191)
Browse files Browse the repository at this point in the history
Signed-off-by: Sora Morimoto <[email protected]>
  • Loading branch information
smorimoto authored Dec 11, 2024
1 parent 5b695d6 commit 5f4cd06
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/reference/dune/env.rst
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ Fields supported in ``<settings>`` are:
replaced by the ``(menhir)`` field (see below) starting in version 3.0 of the
Menhir extension.

- ``(menhir (flags <flags) (explain <blang expression>))`` specifies the Menhir
- ``(menhir (flags <flags>) (explain <blang expression>))`` specifies the Menhir
settings. See :doc:`menhir` for more details. This field was introduced in version
3.0 of the Menhir extension.

Expand Down

0 comments on commit 5f4cd06

Please sign in to comment.