diff options
Diffstat (limited to 'pretyping/pretype_errors.ml')
| -rw-r--r-- | pretyping/pretype_errors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/pretype_errors.ml b/pretyping/pretype_errors.ml index fd42ca0ba9..034597a713 100644 --- a/pretyping/pretype_errors.ml +++ b/pretyping/pretype_errors.ml @@ -55,7 +55,7 @@ let env_ise sigma env = (na, option_app (nf_evar sigma) b, nf_evar sigma ty) e) ctxt - env0 + ~init:env0 (* This simplify the typing context of Cases clauses *) (* hope it does not disturb other typing contexts *) |