From ed4fe788544f288aa9eff176da6902f4b30a6c59 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 11 Jun 2002 14:15:12 +0000 Subject: Nettoyage gestion option -o git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- asmcomp/asmlink.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'asmcomp/asmlink.mli') diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index 9c5f202681..9ae9f9ead6 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -16,7 +16,7 @@ open Format -val link: formatter -> string list -> unit +val link: formatter -> string list -> string -> unit val check_consistency: string -> Compilenv.unit_infos -> Digest.t -> unit val extract_crc_interfaces: unit -> (string * Digest.t) list -- cgit v1.2.1