transformation almost finisced, not tested

[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 bc58762a716d653b3d9b05917b35f5cd35375af3..3930caea2c2982f094832b8f434798b5c98846ad 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
+val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj * NCic.obj list