diff options
Diffstat (limited to 'stdlib/lexing.mli')
| -rw-r--r-- | stdlib/lexing.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli index d4dfb283a2..1ee28e6a5f 100644 --- a/stdlib/lexing.mli +++ b/stdlib/lexing.mli @@ -40,7 +40,7 @@ val from_string : string -> lexbuf the given string. Reading starts from the first character in the string. An end-of-input condition is generated when the end of the string is reached. *) -val from_function : (buf:string -> len:int -> int) -> lexbuf +val from_function : (string -> int -> int) -> lexbuf (* Create a lexer buffer with the given function as its reading method. When the scanner needs more characters, it will call the given function, giving it a character string [s] and a character |