X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitatop.ml;h=9e1698009cbbd908ed127632069645cb5734d946;hb=3ea21b6d721c759876aa53385b421cb1412e11f5;hp=95a8ec192e507c90049734a1714d4d3628b4613c;hpb=94c9255e1f3095440f4d49ea1d75443a5a343185;p=helm.git

diff --git a/helm/matita/matitatop.ml b/helm/matita/matitatop.ml
index 95a8ec192..9e1698009 100644
--- a/helm/matita/matitatop.ml
+++ b/helm/matita/matitatop.ml
@@ -1,5 +1,3 @@
 let _ =
   let _ = Topdirs.dir_quit in
-  Toploop.initialize_toplevel_env ();
-  Topdirs.dir_use Format.std_formatter "matitatop.bootstrap";
   Toploop.loop Format.std_formatter