matitatop now cleans all before exiting in every situation.

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

diff --git a/helm/matita/matitacLib.mli b/helm/matita/matitacLib.mli
index a053a3f1a1318dd0ab667877cbaf8df50b9a0e14..dc24825e583a60e58ed89e642f094e3b57bd5591 100644 (file)
--- a/helm/matita/matitacLib.mli
+++ b/helm/matita/matitacLib.mli
@@ -31,6 +31,8 @@ val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
 val dump_moo_to_file: string -> string list -> unit
 
 (** clean_exit n
-  performs an exit [n] after a complete clean-up of what was partially compiled
+  if n = Some n it performs an exit [n] after a complete clean-up of what was
+   partially compiled
+  otherwise it performs the clean-up without exiting
 *)
-val clean_exit : int -> unit
+val clean_exit : int option -> unit