X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicReduction.mli;h=ebbba2543fc7598c54f4016f07640a54d2861f52;hb=6033870314160f36fa814914550682b304beaba0;hp=5943c926053758ea35dd95bbebd933eea6a54b44;hpb=49198a364dc47e83a012813d8687fc02c7251c9e;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicReduction.mli b/helm/software/components/ng_kernel/nCicReduction.mli
index 5943c9260..ebbba2543 100644
--- a/helm/software/components/ng_kernel/nCicReduction.mli
+++ b/helm/software/components/ng_kernel/nCicReduction.mli
@@ -19,7 +19,7 @@ val whd :
 val are_convertible :
   ?subst:NCic.substitution ->
   (subst:NCic.substitution ->
-   NCic.context -> NCic.term -> bool list) ->
+   NCic.context -> NCic.term -> NCic.term list -> bool list) ->
   NCic.context -> NCic.term -> NCic.term -> bool