convertibility was taking a metasenv but not using it

[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 86637b67a96c82425c825d5dc81e557b6ee8810e..05e13643c3d007b36b30844c2f86afd2b815145f 100644 (file)
--- a/helm/software/components/ng_kernel/oCic2NCic.mli
+++ b/helm/software/components/ng_kernel/oCic2NCic.mli
@@ -1 +1 @@
-val convert_obj: Cic.obj -> NCic.obj
+val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list