X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.ocamlinit;fp=helm%2Fmatita%2F.ocamlinit;h=1585f71b2043f53d72b94eb070a77e5b447dfef9;hb=5228acfa3e0e37019dac156ba85434b83e8f469d;hp=d1eac4cbd8f1e4567ec8b9aae8686e20685acd4c;hpb=6ef888abc44eab4f05077d0f4b600f1c1239dcb3;p=helm.git

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index d1eac4cbd..1585f71b2 100644
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -36,6 +36,7 @@ let go = MatitacLib.interactive_loop;;
 
 (* let's go! *)
 let _ = 
+ at_exit (fun () -> MatitacLib.clean_exit None);
  if Array.length Sys.argv > 1 then
    MatitacLib.main `TOPLEVEL
  else