diff options
Diffstat (limited to 'kernel/nativelibrary.mli')
| -rw-r--r-- | kernel/nativelibrary.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/nativelibrary.mli b/kernel/nativelibrary.mli index a45402a43..1de26b72c 100644 --- a/kernel/nativelibrary.mli +++ b/kernel/nativelibrary.mli @@ -15,6 +15,3 @@ compiler *) val dump_library : module_path -> dir_path -> env -> module_signature -> global list * symbol array - -val compile_library : - dir_path -> global list -> string list -> string -> int |