diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2007-05-09 21:04:24 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2007-05-09 21:04:24 +0000 |
| commit | 5dbc715029728bd9e9944f31fe6ac22ceb0a994d (patch) | |
| tree | fac1dcdfdd278e3e7f7c71b7101e4b89fd14e0b3 /stdlib/scanf.ml | |
| parent | 771646e79af473da26ef6888b03a27e145efbcc7 (diff) | |
Indent.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/scanf.ml')
| -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. *) |