diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-03 18:20:36 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-03 18:20:36 +0100 |
| commit | dd558cc1a9b87d2b1dda5d1ff2baf9f02a32e519 (patch) | |
| tree | c506f9f4c12dc8a4ec9e4a9a671fc1bf9b3c5df2 /lib/cWarnings.ml | |
| parent | 0c01a177362f8d7408ba8906fe0cba1948d8fb9c (diff) | |
Remove an OCaml 4.02 construct.
This was not detected by running coq-contribs, so it probably means that
we are not testing with the right version of OCaml.
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 |