X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitac.ml;h=c2291d5754c60cc5cec2619a107a74acb5d98448;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=d0f5603e58a347655379f812d378fa34fb9483ee;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index d0f5603e5..c2291d575 100644
--- a/matita/matita/matitac.ml
+++ b/matita/matita/matitac.ml
@@ -57,7 +57,7 @@ let main_compiler () =
   let system_mode =  Helm_registry.get_bool "matita.system" in
   if system_mode then HLog.message "Compiling in system space";
   (* here we go *)
-  if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
+  if not (Helm_registry.get_bool "matita.verbose") then MatitaMiscCli.shutup ();
   if List.fold_left
    (fun b t ->
      (try
@@ -74,9 +74,7 @@ let main_compiler () =
 
 let main () =
   Sys.catch_break true;
-  let bin = Filename.basename Sys.argv.(0) in
-  if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()
-  else exit (main_compiler ())
+  exit (main_compiler ())
 ;;
 
 let _ = main ()