diff options
Diffstat (limited to 'kernel/nativelibrary.mli')
-rw-r--r-- | kernel/nativelibrary.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/nativelibrary.mli b/kernel/nativelibrary.mli index 7b74b00c5..3f413631c 100644 --- a/kernel/nativelibrary.mli +++ b/kernel/nativelibrary.mli @@ -13,7 +13,7 @@ open Nativecode (** This file implements separate compilation for libraries in the native compiler *) -val dump_library : module_path -> dir_path -> env -> struct_expr_body -> +val dump_library : module_path -> dir_path -> env -> module_signature -> global list * symbol array * code_location_updates val compile_library : |