diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/cWarnings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cWarnings.ml b/lib/cWarnings.ml index 2f569d2849..6a28d1e009 100644 --- a/lib/cWarnings.ml +++ b/lib/cWarnings.ml @@ -166,7 +166,7 @@ let normalize_flags_string s = let flags = normalize_flags ~silent:false flags in string_of_flags flags -let rec parse_warnings items = +let parse_warnings items = CList.iter (fun (status, name) -> set_status ~name status) items (* For compatibility, we accept "none" *) |