diff options
| author | Pierre-Marie Pédrot | 2020-06-08 13:01:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-06-19 16:02:25 +0200 |
| commit | ca6dd2805b4a00cf8425337ec1d89327c94ef397 (patch) | |
| tree | a99d0f02917c31b03ac16c7a2b262ffe338c88ec /dev | |
| parent | 6c4eceaa9d71df6cb608b056bebbd760b707d26e (diff) | |
Do not be verbose when declaring subclass hints.
There is no point in warning about eauto being the only one able to use those
hints, since they will be used by typeclass_eauto instead. It was probably an
oversight introduced quite a long time ago.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions