diff options
Diffstat (limited to 'intf/evar_kinds.ml')
| -rw-r--r-- | intf/evar_kinds.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/intf/evar_kinds.ml b/intf/evar_kinds.ml index 36c421c6c..428d6b678 100644 --- a/intf/evar_kinds.ml +++ b/intf/evar_kinds.ml @@ -32,4 +32,4 @@ type t = | ImpossibleCase | MatchingVar of matching_var_kind | VarInstance of Id.t - | SubEvar of Constr.existential_key + | SubEvar of Evar.t |