diff options
Diffstat (limited to 'ltac/evar_tactics.ml')
| -rw-r--r-- | ltac/evar_tactics.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ltac/evar_tactics.ml b/ltac/evar_tactics.ml index c5b26e6d56..5d3b2b886e 100644 --- a/ltac/evar_tactics.ml +++ b/ltac/evar_tactics.ml @@ -77,7 +77,7 @@ let let_evar name typ = let sigma = Tacmach.New.project gl in let env = Proofview.Goal.env gl in let sigma = ref sigma in - let _ = Typing.e_sort_of env sigma typ in + let _ = Typing.e_sort_of env sigma (EConstr.of_constr typ) in let sigma = Sigma.Unsafe.of_evar_map !sigma in let id = match name with | Names.Anonymous -> |