some debug printings

[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 ab08d1bd975526d34ae3b58c6982def5bad4643d..edaaa3803fe6248f4812eedc4299bb780918fb43 100644 (file)
--- a/helm/software/components/ng_kernel/nCic2OCic.mli
+++ b/helm/software/components/ng_kernel/nCic2OCic.mli
@@ -1 +1 @@
-val convert_nobj: NCic.obj -> Cic.obj
+val convert_nobj: NCic.obj -> (UriManager.uri * Cic.obj) list