From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 1 Oct 2009 08:46:21 +0000 (+0000)
Subject: fixed off-by-one
X-Git-Tag: make_still_working~3407
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4e09b5e3a6f54a0ad22561aaa45373a753932a59;p=helm.git

fixed off-by-one
---

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 _))::_) ->