matitadep sould be ok, outputs warning regarding issues and

[helm.git] / matita / matitac.ml

diff --git a/matita/matitac.ml b/matita/matitac.ml
index c31c22874e2038dccd675f1c5cfd2c394a4d6841..6836e44a296c6a110216bedae900b092693ce4bc 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 ->