X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=5a14b2703bc8a24843bb25ff9f3ddda91b6b99a1;hb=1bd6b7d2637d765f11ddbd1218d63474e9d0c63b;hp=6c3749db3e13cca73850b0a9421ccd8e44d5c072;hpb=134014e54c374789b38b6c53945f63d21ddbacb0;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 6c3749db3..5a14b2703 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -337,7 +337,7 @@ module F =
     let root_and_target_of opts mafile = 
       try
         let include_paths = get_include_paths opts in
-        let root,baseuri,_,_ =
+        let root,baseuri,_,relpath =
           Librarian.baseuri_of_script ~include_paths mafile 
         in
         let obj_writeable, obj_read_only =
@@ -350,8 +350,8 @@ module F =
               LibraryMisc.obj_file_of_baseuri 
                         ~must_exist:false ~baseuri ~writable:false
         in
-        Some root, obj_writeable, obj_read_only
-      with Librarian.NoRootFor x -> None, "", ""
+        Some root, relpath, obj_writeable, obj_read_only
+      with Librarian.NoRootFor x -> None, "", "", ""
     ;;
 
     let mtime_of_source_object s =