diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-23 11:17:05 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-09-23 11:17:05 +0000 |
| commit | 4126456434f98d9ecb773667815ab2eceb01af09 (patch) | |
| tree | 1593482b45436575e44a06a1a73107e620fb7f90 /stdlib | |
| parent | bbbe01a9e441547b1ac43f33e1e326eee9daa237 (diff) | |
Typos.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/pervasives.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 94fe48517..f3eb03760 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -400,7 +400,7 @@ external incr: int ref -> unit = "%incr" external decr: int ref -> unit = "%decr" (* Formats *) -type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6 +type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6 type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4 @@ -418,7 +418,8 @@ let (( ^^ ) : ('f, 'b, 'c, 'e, 'g, 'h) format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6) = fun fmt1 fmt2 -> - string_to_format (format_to_string fmt1 ^ format_to_string fmt2);; + string_to_format (format_to_string fmt1 ^ format_to_string fmt2) +;; let string_of_format fmt = let s = format_to_string fmt in |