diff options
Diffstat (limited to 'toplevel/class.mli')
| -rw-r--r-- | toplevel/class.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/class.mli b/toplevel/class.mli index e4ff43972..a72ec1a81 100644 --- a/toplevel/class.mli +++ b/toplevel/class.mli @@ -39,7 +39,7 @@ val try_add_new_coercion_with_source : global_reference -> locality -> (** [try_add_new_identity_coercion id s src tg] enriches the environment with a new definition of name [id] declared as an identity coercion from [src] to [tg] *) -val try_add_new_identity_coercion : identifier -> locality -> +val try_add_new_identity_coercion : Id.t -> locality -> source:cl_typ -> target:cl_typ -> unit val add_coercion_hook : unit Tacexpr.declaration_hook |