summaryrefslogtreecommitdiff
path: root/bytecomp/bytelibrarian.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/bytelibrarian.mli')
-rw-r--r--bytecomp/bytelibrarian.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytelibrarian.mli b/bytecomp/bytelibrarian.mli
index a4250f96d7..2420111593 100644
--- a/bytecomp/bytelibrarian.mli
+++ b/bytecomp/bytelibrarian.mli
@@ -21,7 +21,7 @@
content table = list of compilation units
*)
-val create_archive: string list -> string -> unit
+val create_archive: Format.formatter -> string list -> string -> unit
type error =
File_not_found of string