diff options
Diffstat (limited to 'lib/cWarnings.ml')
| -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 68664d1ab..1a1944d61 100644 --- a/lib/cWarnings.ml +++ b/lib/cWarnings.ml @@ -136,7 +136,7 @@ let uniquize_flags_rev flags = let visited = try let warnings = Hashtbl.find categories name in - CString.Set.union visited (CString.Set.of_list warnings) + List.fold_left (fun v w -> CString.Set.add w v) visited warnings with Not_found -> visited in |