From 6acf543800fe176ca7d47ef7165ebc14588efb6f Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 29 Apr 2014 14:41:49 -0400 Subject: Native compiler: hide compiled files in a .coq-native subdirectory. --- kernel/nativelibrary.mli | 3 --- 1 file changed, 3 deletions(-) (limited to 'kernel/nativelibrary.mli') 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 -- cgit v1.2.3