| (_, _, NCic.Const
(NReference.Ref (_,_,NReference.Def) as refer), s) as config ->
let _,_,body,_,_,height = NCicEnvironment.get_checked_def refer in
- if delta >= height then config else aux (0, [], body, s)
+ if delta > height then config else aux (0, [], body, s)
| (_, _, NCic.Const (NReference.Ref
(_,_,NReference.Fix (_,recindex)) as refer),s) as config ->
let _,_,body,_, _, height = NCicEnvironment.get_checked_fix refer in
- if delta >= height then config else
+ if delta > height then config else
(match
try Some (RS.from_stack (List.nth s recindex))
with Failure _ -> None