X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacLib.mli;h=b19ff5b90c4ef0ef72ef09bc3d494452565960d3;hb=646ade789430669f4a6be3ecbf47d89fe865f132;hp=dc24825e583a60e58ed89e642f094e3b57bd5591;hpb=1b3aa3daa64f8b68aa08ff1c5458ba828398f897;p=helm.git

diff --git a/helm/matita/matitacLib.mli b/helm/matita/matitacLib.mli
index dc24825e5..b19ff5b90 100644
--- a/helm/matita/matitacLib.mli
+++ b/helm/matita/matitacLib.mli
@@ -28,6 +28,8 @@ val interactive_loop : unit -> unit
 (** go initializes the status and calls interactive_loop *)
 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