From 67dd51c6c9ceb0186490033d77769d49404964ac Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 30 Apr 2008 21:38:26 +0000 Subject: [PATCH 1/1] stupid error fixed --- helm/software/components/ng_kernel/nCicTypeChecker.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 [],[] -> [] -- 2.39.2