This commit fixes matitatop that was no longer working without arguments.

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

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index f5c30f839a48a2067c2cea18122352c35f439bd9..d1eac4cbd8f1e4567ec8b9aae8686e20685acd4c 100644 (file)
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -32,7 +32,7 @@ let fppuri ppf uri =
 #install_printer fppuri;;
 
 (* utility functions *)
-let go = MatitacLib.go;;
+let go = MatitacLib.interactive_loop;;
 
 (* let's go! *)
 let _ =