From 8a3cd2fe699540f1ae5a56917d0f6b951f81d731 Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert <gaetan.gilbert@ens-lyon.fr>
Date: Fri, 21 Apr 2017 19:29:35 +0200
Subject: Remove unused [rec] keywords

---
 lib/cWarnings.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cWarnings.ml')

diff --git a/lib/cWarnings.ml b/lib/cWarnings.ml
index 2f569d284..6a28d1e00 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" *)
-- 
cgit v1.2.3