diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/scanf.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index 5f497fcf4..7127185f3 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -409,6 +409,7 @@ let token_int_literal conv ib = Failure when the conversion is not possible. This exception is then trapped in kscanf. *) let token_int conv ib = int_of_string (token_int_literal conv ib);; + let token_float ib = float_of_string (Scanning.token ib);; (* To scan native ints, int32 and int64 integers. @@ -627,7 +628,7 @@ let char_for_backslash = function | 'r' -> '\013' | 'b' -> '\008' | 't' -> '\009' - | c -> c;; + | c -> c;; (* The integer value corresponding to the facial value of a valid decimal digit character. *) |