diff options
Diffstat (limited to 'pretyping/reductionops.ml')
| -rw-r--r-- | pretyping/reductionops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/reductionops.ml b/pretyping/reductionops.ml index cf08e6787..0b6c3197d 100644 --- a/pretyping/reductionops.ml +++ b/pretyping/reductionops.ml @@ -492,7 +492,7 @@ let apply_subst recfun env cst_l t stack = | _ -> recfun cst_l (substl env t, stack) in aux env cst_l t stack -let rec stacklam recfun env t stack = +let stacklam recfun env t stack = apply_subst (fun _ -> recfun) env [] t stack let beta_applist (c,l) = |