diff options
Diffstat (limited to 'stdlib/parsing.mli')
| -rw-r--r-- | stdlib/parsing.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 0d053b899..f48824599 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -74,7 +74,7 @@ val set_trace: bool -> bool (** {6 } *) (** The following definitions are used by the generated parsers only. - They are not intended to be used by user programs. *) + They are not intended to be used directly by user programs. *) type parser_env |