X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicUntrusted.mli;h=702f8fc19fe5d0f31f7738b2d31aaeb306e607b8;hb=c6de6147adbf650a444b81f0aaccc8cceeeb5b9b;hp=01c522ba0a557eb496c70ed1433331e4a2c025f4;hpb=2da35c1dc1aff5f852886ac64d641774f2f187cf;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicUntrusted.mli b/helm/software/components/ng_kernel/nCicUntrusted.mli
index 01c522ba0..702f8fc19 100644
--- a/helm/software/components/ng_kernel/nCicUntrusted.mli
+++ b/helm/software/components/ng_kernel/nCicUntrusted.mli
@@ -42,4 +42,4 @@ val apply_subst_context : fix_projections:bool ->
 val apply_subst_metasenv : NCic.substitution -> NCic.metasenv -> NCic.metasenv
 
 val count_occurrences :
-    subst:NCic.substitution -> NCic.context -> int -> NCic.term -> int
+    subst:NCic.substitution -> int -> NCic.term -> int