X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitatop.ml;h=9e1698009cbbd908ed127632069645cb5734d946;hb=6cf15c86b051582032c794f7da8a325e31fc0480;hp=c9bf8d98220275ad48f632ae306cc98411bc0fe8;hpb=e04169b2712f46b10e1923ff2fea5ebfd775c8dd;p=helm.git

diff --git a/helm/matita/matitatop.ml b/helm/matita/matitatop.ml
index c9bf8d982..9e1698009 100644
--- a/helm/matita/matitatop.ml
+++ b/helm/matita/matitatop.ml
@@ -1,9 +1,3 @@
 let _ =
   let _ = Topdirs.dir_quit in
-  let _ = 
-   if Array.length Sys.argv > 1 then
-     MatitacLib.main `TOPLEVEL
-   else
-     MatitacLib.go ()
-  in
-   Toploop.loop Format.std_formatter
+  Toploop.loop Format.std_formatter