summaryrefslogtreecommitdiff
path: root/stdlib/parsing.mli
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-10-31 09:48:32 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2022-10-31 09:48:32 +0000
commit8e12c01e459872592e2959dc70da9e9e25695ca6 (patch)
tree0f71593c83d900d9b5d51361717face6b443ff99 /stdlib/parsing.mli
parentcc3d9cb9bbe594b89e0339c6ef8b1da74a537972 (diff)
downloadocaml-8e12c01e459872592e2959dc70da9e9e25695ca6.tar.gz
Remove .0 from all @since, @before and @after
Diffstat (limited to 'stdlib/parsing.mli')
-rw-r--r--stdlib/parsing.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli
index d614753676..5bb0a91b31 100644
--- a/stdlib/parsing.mli
+++ b/stdlib/parsing.mli
@@ -66,7 +66,7 @@ val set_trace: bool -> bool
shifting a state, reducing by a rule) on standard output.
[Parsing.set_trace false] turns this debugging trace off.
The boolean returned is the previous state of the trace flag.
- @since 3.11.0
+ @since 3.11
*)
(**/**)