Commit cdab8c1
committed
Fix Warnings.ml: use warnings <> [] instead of List.is_empty
Warnings.ml does not open Core, so List refers to the stdlib List
module (shadowed by -open Frontend). Use the simpler `warnings <> []`
pattern which works in any module context.1 parent 5d22376 commit cdab8c1
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | | - | |
| 16 | + | |
17 | 17 | | |
0 commit comments