ocaml 3.09 transition

[helm.git] / helm / matita / .ocamlinit

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index f5c30f839a48a2067c2cea18122352c35f439bd9..1585f71b2043f53d72b94eb070a77e5b447dfef9 100644 (file)
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -32,10 +32,11 @@ let fppuri ppf uri =
 #install_printer fppuri;;
 
 (* utility functions *)
-let go = MatitacLib.go;;
+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