diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/evarsolve.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarsolve.ml b/pretyping/evarsolve.ml index a63f1b1c84..f29d982c2d 100644 --- a/pretyping/evarsolve.ml +++ b/pretyping/evarsolve.ml @@ -783,7 +783,7 @@ let eq_filter f1 f2 = let closure_of_filter evd evk filter = let evi = Evd.find_undefined evd evk in - let vars = collect_vars (evar_concl evi) in + let vars = collect_vars (Evarutil.nf_evar evd (evar_concl evi)) in let ids = List.map pi1 (evar_context evi) in let test id b = b || Id.Set.mem id vars in let newfilter = List.map2 test ids filter in |