diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-04-18 07:17:58 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-04-18 07:17:58 +0000 |
| commit | 061ed556888aed2c84267caca6a6ab832eb2da46 (patch) | |
| tree | dd594255e06294b863e40a382af794adb60682aa /stdlib/scanf.ml | |
| parent | 215e508e8bd53f7299ffd7d828794e2f4d4ba6f4 (diff) | |
| parent | 3930c2fd79e43bd02e3bc79d6b047f3aeab0effe (diff) | |
| download | ocaml-more_unboxing.tar.gz | |
Sync with trunk.more_unboxing
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/more_unboxing@12369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/scanf.ml')
| -rw-r--r-- | stdlib/scanf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index 37740765d5..cac4a136a4 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -483,7 +483,7 @@ let compatible_format_type fmt1 fmt2 = Tformat.summarize_format_type (string_to_format fmt2);; (* Checking that [c] is indeed in the input, then skips it. - In this case, the character c has been explicitely specified in the + In this case, the character c has been explicitly specified in the format as being mandatory in the input; hence we should fail with End_of_file in case of end_of_input. (Remember that Scan_failure is raised only when (we can prove by evidence) that the input does not match the |