From 4e09b5e3a6f54a0ad22561aaa45373a753932a59 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 1 Oct 2009 08:46:21 +0000 Subject: [PATCH] fixed off-by-one --- helm/software/components/ng_kernel/nCicUntrusted.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/nCicUntrusted.ml b/helm/software/components/ng_kernel/nCicUntrusted.ml index fd3fd5f79..1e7432724 100644 --- a/helm/software/components/ng_kernel/nCicUntrusted.ml +++ b/helm/software/components/ng_kernel/nCicUntrusted.ml @@ -178,7 +178,7 @@ let rec fire_projection_redex () = function let l' = HExtlib.sharing_map (fire_projection_redex ()) l in if l == l' then t else C.Appl l' in - if (*pragma <> `Projection ||*) List.length args < rno then conclude () + if (*pragma <> `Projection ||*) List.length args <= rno then conclude () else (match List.nth args rno with | C.Appl (C.Const(Ref.Ref(_,Ref.Con _))::_) -> -- 2.39.2