diff options
| author | Maxime Dénès | 2017-11-28 09:52:18 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-28 09:52:18 +0100 |
| commit | 5a540c372648493575461a298e04b9fa716661ad (patch) | |
| tree | a5c6a9b455b93841dc0960b8b0c1e78865c96b1a /pretyping/typeclasses.ml | |
| parent | ac006d8c87a7e921ed5a106aeba264bd6c8caa6c (diff) | |
| parent | 3cc45d57f6001d8c377825b9b940bc51fb3a96f7 (diff) | |
Merge PR #6248: [api] Remove aliases of `Evar.t`
Diffstat (limited to 'pretyping/typeclasses.ml')
| -rw-r--r-- | pretyping/typeclasses.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml index d55b286fb4..2e213a51d7 100644 --- a/pretyping/typeclasses.ml +++ b/pretyping/typeclasses.ml @@ -521,7 +521,7 @@ let mark_unresolvable evi = mark_resolvability false evi let mark_resolvable evi = mark_resolvability true evi open Evar_kinds -type evar_filter = existential_key -> Evar_kinds.t -> bool +type evar_filter = Evar.t -> Evar_kinds.t -> bool let all_evars _ _ = true let all_goals _ = function VarInstance _ | GoalEvar -> true | _ -> false |