X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnUri.mli;h=c5f6333552cb707f15f1f064eb936f70d0dde427;hb=fa9700ea545ddaed416fdabb9d9fb410ef528e97;hp=a11e4a1d21ffb14b109d5c3a3284cdcddd2a6b25;hpb=24787f3d652537ec233f78bfa41a9230e7fa2f85;p=helm.git

diff --git a/helm/software/components/ng_kernel/nUri.mli b/helm/software/components/ng_kernel/nUri.mli
index a11e4a1d2..c5f633355 100644
--- a/helm/software/components/ng_kernel/nUri.mli
+++ b/helm/software/components/ng_kernel/nUri.mli
@@ -14,6 +14,7 @@
 type uri
 
 val string_of_uri: uri -> string
+val name_of_uri: uri -> string
 val uri_of_string: string -> uri
 val eq: uri -> uri -> bool