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 3f413631c1..a45402a437 100644 --- a/kernel/nativelibrary.mli +++ b/kernel/nativelibrary.mli @@ -14,7 +14,7 @@ open Nativecode compiler *) val dump_library : module_path -> dir_path -> env -> module_signature -> - global list * symbol array * code_location_updates + global list * symbol array val compile_library : dir_path -> global list -> string list -> string -> int |