diff options
author | Jules Aguillon <juloo.dsi@gmail.com> | 2021-10-07 19:34:24 +0200 |
---|---|---|
committer | Jules Aguillon <jules@j3s.fr> | 2022-01-28 15:58:45 +0100 |
commit | dfa5feb01be70ec4da4eabd142e9988d44b9a923 (patch) | |
tree | ac8c291d7ed227ef2021d103cdad7ffd8cb73fcc /stdlib/parsing.mli | |
parent | f22a84b4fdaafa92ed2a6a783ec8f8d249baf780 (diff) | |
download | ocaml-dfa5feb01be70ec4da4eabd142e9988d44b9a923.tar.gz |
odoc: Fix syntax errors in comments
Diffstat (limited to 'stdlib/parsing.mli')
-rw-r--r-- | stdlib/parsing.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 73b9504d4f..d614753676 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -71,8 +71,6 @@ val set_trace: bool -> bool (**/**) -(** {1 } *) - (** The following definitions are used by the generated parsers only. They are not intended to be used directly by user programs. *) |