diff options
Diffstat (limited to 'toplevel/command.ml')
| -rw-r--r-- | toplevel/command.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/command.ml b/toplevel/command.ml index edde7c652..f707ea508 100644 --- a/toplevel/command.ml +++ b/toplevel/command.ml @@ -36,7 +36,7 @@ open Indschemes open Misctypes let rec under_binders env f n c = - if n = 0 then f env Evd.empty c else + if Int.equal n 0 then f env Evd.empty c else match kind_of_term c with | Lambda (x,t,c) -> mkLambda (x,t,under_binders (push_rel (x,None,t) env) f (n-1) c) |