summaryrefslogtreecommitdiffstats
path: root/stdlib/pervasives.ml
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2006-11-17 08:34:02 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2006-11-17 08:34:02 +0000
commitb6fa9a252954a61188034279c031ae1910fc8b6d (patch)
tree9c8f33d7990c25956a4e2d7122e769bce39a2ad6 /stdlib/pervasives.ml
parent9cd54eadce7eb82d5b0452c650d88a8856f20479 (diff)
Typo in the definition of format4.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/pervasives.ml')
-rw-r--r--stdlib/pervasives.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml
index c72db0019..9e34cf2fd 100644
--- a/stdlib/pervasives.ml
+++ b/stdlib/pervasives.ml
@@ -398,7 +398,7 @@ external incr: int ref -> unit = "%incr"
external decr: int ref -> unit = "%decr"
(* Formats *)
-type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'd, 'd, '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