diff options
Diffstat (limited to 'asmcomp/asmpackager.mli')
| -rw-r--r-- | asmcomp/asmpackager.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/asmpackager.mli b/asmcomp/asmpackager.mli index 65272b7ed7..4d47f5c283 100644 --- a/asmcomp/asmpackager.mli +++ b/asmcomp/asmpackager.mli @@ -13,7 +13,7 @@ (* "Package" a set of .cmx/.o files into one .cmx/.o file having the original compilation units as sub-modules. *) -val package_files: Format.formatter -> string list -> string -> unit +val package_files: Format.formatter -> Env.t -> string list -> string -> unit type error = Illegal_renaming of string * string * string |