X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitac.ml;h=2f2987388dd34a002ca123f6e0589211980c10cf;hb=fa564a98052e479547a37c9e491623fca5f3e0ba;hp=6836e44a296c6a110216bedae900b092693ce4bc;hpb=92e53212b1142355777f171bf683066f52135ed7;p=helm.git

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 6836e44a2..2f2987388 100644
--- a/matita/matitac.ml
+++ b/matita/matitac.ml
@@ -123,7 +123,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:"^matitaprover" bin then Matitaprover.main ()
   else if Pcre.pmatch ~pat:"^matitawiki"   bin then MatitaWiki.main ()
   else
     let dump_msg = "<filename> Dump with expanded macros to <filename>" in