no more matitaprover

[helm.git] / matita / matitac.ml

diff --git a/matita/matitac.ml b/matita/matitac.ml
index c31c22874e2038dccd675f1c5cfd2c394a4d6841..2f2987388dd34a002ca123f6e0589211980c10cf 100644 (file)
--- a/matita/matitac.ml
+++ b/matita/matitac.ml
@@ -93,7 +93,7 @@ let main_compiler () =
     match targets with
     | [] ->
       (match Librarian.find_roots_in_dir (Sys.getcwd ()) with
-      | [x] -> [], x
+      | [x] -> [], Filename.dirname x
       | [] -> 
          prerr_endline "No targets and no root found"; exit 1
       | roots -> 
@@ -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