diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/evarutil.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml index 9b29f47a65..bcf212f192 100644 --- a/pretyping/evarutil.ml +++ b/pretyping/evarutil.ml @@ -478,7 +478,6 @@ let get_changed_pb isevars lev = let solve_refl conv_algo env isevars ev argsv1 argsv2 = if argsv1 = argsv2 then [] else let evd = Evd.map isevars.evars ev in - let env = evar_env evd in let hyps = evd.evar_hyps in let (_,rsign) = array_fold_left2 |