From dd558cc1a9b87d2b1dda5d1ff2baf9f02a32e519 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 3 Nov 2016 18:20:36 +0100
Subject: 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.
---
 lib/cWarnings.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/cWarnings.ml b/lib/cWarnings.ml
index 68664d1ab2..1a1944d61f 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
-- 
cgit v1.2.3