]> matita.cs.unibo.it Git - helm.git/commitdiff
Uris must be stripped of their xpointers.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Apr 2008 09:20:24 +0000 (09:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Apr 2008 09:20:24 +0000 (09:20 +0000)
helm/software/components/ng_kernel/check.ml

index c9c0bd37b7973a65d1dee0cbc82fd44d8b967c1c..cbb451bb325e3265055f8b2559b1501a4a07bd6a 100644 (file)
@@ -45,7 +45,8 @@ let _ =
      HExtlib.list_uniq (List.sort UriManager.compare l)
   in
   let who_uses u = 
-    uniq (List.map fst (MetadataDeps.inverse_deps ~dbd u))
+    uniq (List.map (fun (uri,_) -> UriManager.strip_xpointer uri)
+     (MetadataDeps.inverse_deps ~dbd u))
   in
   let roots_alluris = 
           let rec fix acc l =