diff options
| -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 |