X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacLib.mli;h=636c51d5754beddf21bf73ec9d7e298254cc2993;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=8032320ce7103b487da2e048155ef9e631629d31;hpb=6e7fd1727eafb8280d2a01c05eddf49d19db2aaa;p=helm.git

diff --git a/helm/matita/matitacLib.mli b/helm/matita/matitacLib.mli
index 8032320ce..636c51d57 100644
--- a/helm/matita/matitacLib.mli
+++ b/helm/matita/matitacLib.mli
@@ -30,6 +30,8 @@ val go : unit -> unit
 val main : mode:[ `COMPILER | `TOPLEVEL ] -> 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