diff options
| -rw-r--r-- | configure.ac | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac index 1b1c22f6..c684e244 100644 --- a/configure.ac +++ b/configure.ac @@ -786,14 +786,14 @@ EOF cat <<EOF >>$output module Gettext = struct external s_ : string -> string = "%identity" - external f_ : ('a, 'b, 'c, 'd, 'e, 'f) format6 - -> ('a, 'b, 'c, 'd, 'e, 'f) format6 + external f_ : ('a, 'b, 'c, 'd) format4 + -> ('a, 'b, 'c, 'd) format4 = "%identity" let sn_ : string -> string -> int -> string = fun s p n -> if n = 1 then s else p - let fn_ : ('a, 'b, 'c, 'd, 'e, 'f) format6 - -> ('a, 'b, 'c, 'd, 'e, 'f) format6 - -> int -> ('a, 'b, 'c, 'd, 'e, 'f) format6 + let fn_ : ('a, 'b, 'c, 'd) format4 + -> ('a, 'b, 'c, 'd) format4 + -> int -> ('a, 'b, 'c, 'd) format4 = fun s p n -> if n = 1 then s else p end EOF |