- matitaWiki removed

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

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 83ab74439129e005717d987083b8bdbbb9b2a908..5c8ea3738f922d8c04cbf56bb33493051434ad52 100644 (file)
--- 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 ())
 ;;