diff options
| author | Chimrod <> | 2024-03-28 17:01:36 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-03-28 17:01:36 +0100 |
| commit | 371c5518fd1cd7d0369984c8198d4e6c142bd332 (patch) | |
| tree | 2af43b7313e93d473269aa09eaf552c787ceb047 /dune-project | |
| parent | 246d3c93e6c628e333c047e225edd284ed156ecb (diff) | |
Raise the message level from Warning to Error for duplicated predicates check
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions