logger added

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

diff --git a/helm/software/components/ng_kernel/oCic2NCic.mli b/helm/software/components/ng_kernel/oCic2NCic.mli
index 3930caea2c2982f094832b8f434798b5c98846ad..05e13643c3d007b36b30844c2f86afd2b815145f 100644 (file)
--- a/helm/software/components/ng_kernel/oCic2NCic.mli
+++ b/helm/software/components/ng_kernel/oCic2NCic.mli
@@ -1 +1 @@
-val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj * NCic.obj list
+val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list