X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCic2OCic.mli;h=db6349ee744a3bebc4bbf2addfe986cfcb4135ee;hb=0542386e10041791982e7240f281299677b1997b;hp=2159aaeecceefd12174f52564a77f5c0c9229eed;hpb=e48acbc0d00717ce8f12412673ece4e4ee0e9642;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCic2OCic.mli b/helm/software/components/ng_kernel/nCic2OCic.mli
index 2159aaeec..db6349ee7 100644
--- a/helm/software/components/ng_kernel/nCic2OCic.mli
+++ b/helm/software/components/ng_kernel/nCic2OCic.mli
@@ -11,4 +11,8 @@
 
 (* $Id$ *)
 
+val ouri_of_nuri: NUri.uri -> UriManager.uri
+
+val ouri_of_reference: NReference.reference -> UriManager.uri
+
 val convert_nobj: NCic.obj -> (UriManager.uri * Cic.obj) list