X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicTypeChecker.ml;h=6f516b8db6eb010aaac1e3a6d449de901843f333;hb=67dd51c6c9ceb0186490033d77769d49404964ac;hp=9b0de30f2e37de7f2d922d440de63030763d3400;hpb=63bf7f1e50ca65c2a224e34aa7d232bff10ea934;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml
index 9b0de30f2..6f516b8db 100644
--- a/helm/software/components/ng_kernel/nCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml
@@ -70,7 +70,7 @@ let string_of_recfuns ~subst ~metasenv ~context l =
 
 let fixed_args bos j n nn =
  let rec aux k acc = function
-  | NCic.Appl (NCic.Rel i::args) when i+k > n && i+k <= nn ->
+  | NCic.Appl (NCic.Rel i::args) when i-k > n && i-k <= nn ->
      let rec combine l1 l2 =
       match l1,l2 with
          [],[] -> []