diff options
Diffstat (limited to 'bytecomp/bytelink.mli')
| -rw-r--r-- | bytecomp/bytelink.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/bytelink.mli b/bytecomp/bytelink.mli index 375bde0d5d..1366a1686f 100644 --- a/bytecomp/bytelink.mli +++ b/bytecomp/bytelink.mli @@ -14,9 +14,9 @@ (* Link .cmo files and produce a bytecode executable. *) -val link: string list -> string -> unit +val link : Format.formatter -> string list -> string -> unit -val check_consistency: string -> Cmo_format.compilation_unit -> unit +val check_consistency: Format.formatter -> string -> Cmo_format.compilation_unit -> unit val extract_crc_interfaces: unit -> (string * Digest.t) list |