added name_of_uri

[helm.git] / helm / software / components / ng_kernel / nUri.mli

diff --git a/helm/software/components/ng_kernel/nUri.mli b/helm/software/components/ng_kernel/nUri.mli
index a11e4a1d21ffb14b109d5c3a3284cdcddd2a6b25..c5f6333552cb707f15f1f064eb936f70d0dde427 100644 (file)
--- 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