diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/scanf.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/scanf.mli b/stdlib/scanf.mli index bb68d40fc..879851436 100644 --- a/stdlib/scanf.mli +++ b/stdlib/scanf.mli @@ -144,7 +144,7 @@ val open_in_bin : file_name -> in_channel;; *) val close_in : in_channel -> unit;; -(** Closes the [Pervasives.input_channel] associated with the given +(** Closes the [Pervasives.in_channel] associated with the given [Scanning.in_channel] formatted input channel. @since 3.12.0 *) |