removed dead code (thanks to ocaml 3.09)

[helm.git] / helm / matita / matitaSync.ml

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index 716aa04d29f2c6f34e4280cfca3bdf49c2583333..74340421f2c1f117dd268b7e93245fa2464a4d8a 100644 (file)
--- 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;