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

diff --git a/matita/matitac.ml b/matita/matitac.ml
index c31c22874..6836e44a2 100644
--- 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 ->