diff options
Diffstat (limited to 'pretyping/tacred.ml')
| -rw-r--r-- | pretyping/tacred.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/tacred.ml b/pretyping/tacred.ml index 151525c31..ad7e02b77 100644 --- a/pretyping/tacred.ml +++ b/pretyping/tacred.ml @@ -749,7 +749,7 @@ let abstract_scheme env (locc,a,ta) t = if occur_meta a then mkLambda (na,ta,t) else - mkLambda (na, ta,subst_term_occ locc a t) + mkLambda (na, ta,subst_term_occ env locc a t) let pattern_occs loccs_trm_typ env sigma c = |