diff options
Diffstat (limited to 'pretyping/evarutil.mli')
| -rw-r--r-- | pretyping/evarutil.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli index b056cd260..9c6f1ad47 100644 --- a/pretyping/evarutil.mli +++ b/pretyping/evarutil.mli @@ -157,7 +157,7 @@ val mk_valcon : constr -> val_constraint val split_tycon : Loc.t -> env -> evar_map -> type_constraint -> - evar_map * (name * type_constraint * type_constraint) + evar_map * (Name.t * type_constraint * type_constraint) val valcon_of_tycon : type_constraint -> val_constraint val lift_tycon : int -> type_constraint -> type_constraint |