Patch to add a debugging string to HExtlib.split_nth reverted

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

diff --git a/helm/software/components/ng_kernel/nCic2OCic.mli b/helm/software/components/ng_kernel/nCic2OCic.mli
index 2159aaeecceefd12174f52564a77f5c0c9229eed..db6349ee744a3bebc4bbf2addfe986cfcb4135ee 100644 (file)
--- 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