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 a66fb715..29368d14 100644 --- a/kernel/nativelibrary.mli +++ b/kernel/nativelibrary.mli @@ -14,4 +14,4 @@ open Nativecode compiler *) val dump_library : module_path -> dir_path -> env -> module_signature -> - global list * symbol array + global list * symbols |