New solution: instead of using matitatop.bootstrap we prefer a local .ocamlinit.

[helm.git] / helm / matita / matitatop.ml

diff --git a/helm/matita/matitatop.ml b/helm/matita/matitatop.ml
index 95a8ec192e507c90049734a1714d4d3628b4613c..c9bf8d98220275ad48f632ae306cc98411bc0fe8 100644 (file)
--- a/helm/matita/matitatop.ml
+++ b/helm/matita/matitatop.ml
@@ -1,5 +1,9 @@
 let _ =
   let _ = Topdirs.dir_quit in
-  Toploop.initialize_toplevel_env ();
-  Topdirs.dir_use Format.std_formatter "matitatop.bootstrap";
-  Toploop.loop Format.std_formatter
+  let _ = 
+   if Array.length Sys.argv > 1 then
+     MatitacLib.main `TOPLEVEL
+   else
+     MatitacLib.go ()
+  in
+   Toploop.loop Format.std_formatter