X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita%2Fmatitac.ml;h=5c8ea3738f922d8c04cbf56bb33493051434ad52;hb=70aa6dc959dc1d49f751c183367c3b73393c938b;hp=83ab74439129e005717d987083b8bdbbb9b2a908;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 83ab74439..5c8ea3738 100644
--- a/matita/matita/matitac.ml
+++ b/matita/matita/matitac.ml
@@ -68,7 +68,6 @@ let main () =
   let bin = Filename.basename Sys.argv.(0) in
   if      Pcre.pmatch ~pat:"^matitadep"    bin then Matitadep.main ()
   else if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()
-  else if Pcre.pmatch ~pat:"^matitawiki"   bin then MatitaWiki.main ()
   else exit (main_compiler ())
 ;;