X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnUri.ml;h=b3c8777681290cfe0348b9af8471da3cca6b66f4;hb=76a993b80bb33d1075f84c55637ca1897644b16a;hp=5d810729404c5ea739e735e877edfe9bf6dfdf8d;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_kernel/nUri.ml b/matita/components/ng_kernel/nUri.ml
index 5d8107294..b3c877768 100644
--- a/matita/components/ng_kernel/nUri.ml
+++ b/matita/components/ng_kernel/nUri.ml
@@ -20,6 +20,10 @@ let name_of_uri (_, uri) =
   Filename.chop_extension name
 ;;
 
+let baseuri_of_uri (_,uri) =
+ Filename.dirname uri
+;;
+
 module OrderedStrings =
  struct
   type t = string
@@ -44,12 +48,13 @@ fun s ->
 
 let eq = (==);;
 let compare (n1,_) (n2,_) = n2 - n1;;
+let hash (n,_) = n;;
 
 module HT = struct
         type t = uri
         let equal = eq
         let compare = compare
-        let hash (n,_) = n;;
+        let hash = hash;;
 end;;
 
 module UriHash = Hashtbl.Make(HT);;