diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/class.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 79d7a99fd6..be2482a2b5 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -256,7 +256,7 @@ let add_new_coercion_core coef stre source target isid = in check_source (Some cls); if not (uniform_cond (llp-ind) lvs) then - raise (CoercionError NotUniform); + warning (Pp.string_of_ppcmds (explain_coercion_error coef NotUniform)); let clt = try get_target tg ind |