diff options
| author | Chimrod <> | 2024-12-28 09:57:05 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-12-28 09:57:15 +0100 |
| commit | 289dc576624d4233116806e566bb791fee1de178 (patch) | |
| tree | 775b292c5f66c3cc6725511c5341e9ee7fd5790a /lib/checks/dup_test.mli | |
| parent | 9b831d2a2401c771cf43a37b27c8909d6b9c9ba8 (diff) | |
Changed the error message for duplicated cases from Error to Warning
Diffstat (limited to 'lib/checks/dup_test.mli')
0 files changed, 0 insertions, 0 deletions