X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaSync.ml;h=74340421f2c1f117dd268b7e93245fa2464a4d8a;hb=7c123bfb1568f90f37cd667332fbf60d4423b983;hp=716aa04d29f2c6f34e4280cfca3bdf49c2583333;hpb=1dd8ba456b2c38a912de788c3fc6a815e472d475;p=helm.git

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index 716aa04d2..74340421f 100644
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -153,7 +153,6 @@ let save_object_to_disk status uri obj ugraph univlist =
       xmlunivgraphpath, univgraphuri = 
     paths_and_uris_of_obj uri status 
   in
-  let path_scheme_of path = "file://" ^ path in
   List.iter HExtlib.mkdir (List.map Filename.dirname [xmlpath]);
   (* now write to disk *)
   ensure_path_exists xmlpath;