diff options
| -rw-r--r-- | pretyping/evarutil.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml index 6c8d4e3de2..3511db6e40 100644 --- a/pretyping/evarutil.ml +++ b/pretyping/evarutil.ml @@ -1172,8 +1172,9 @@ let evars_of_named_context nc = List.fold_right (fun (_, b, t) s -> Option.fold_left (fun s t -> Intset.union s (evars_of_term t)) - s b) nc Intset.empty - + (Intset.union s (evars_of_term t)) b) + nc Intset.empty + let evars_of_evar_info evi = Intset.union (evars_of_term evi.evar_concl) (Intset.union |