no more matitaprover

[helm.git] / matita / matitac.ml

diff --git a/matita/matitac.ml b/matita/matitac.ml
index 6836e44a296c6a110216bedae900b092693ce4bc..2f2987388dd34a002ca123f6e0589211980c10cf 100644 (file)
--- 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