ocaml 3.09 transition

[helm.git] / helm / matita / matitacLib.mli

diff --git a/helm/matita/matitacLib.mli b/helm/matita/matitacLib.mli
index b19ff5b90c4ef0ef72ef09bc3d494452565960d3..636c51d5754beddf21bf73ec9d7e298254cc2993 100644 (file)
--- a/helm/matita/matitacLib.mli
+++ b/helm/matita/matitacLib.mli
@@ -29,9 +29,6 @@ val interactive_loop : unit -> unit
 val go : unit -> unit
 val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
 
-(** fname is the .ma *)
-val dump_moo_to_file: string -> string list -> unit
-
 (** clean_exit n
   if n = Some n it performs an exit [n] after a complete clean-up of what was
    partially compiled