From e8b9ee76af721c32b2d5cfcdae4ecbf47b341545 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 27 Sep 2016 17:16:39 +0200
Subject: Fix #5061: Warnings flag has no discernible value

The default value of the warnings flag was printed as an empty string,
now replaced by "default".
---
 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 78fa84f33..720f54606 100644
--- a/lib/cWarnings.ml
+++ b/lib/cWarnings.ml
@@ -21,7 +21,7 @@ let warnings : (string, t) Hashtbl.t = Hashtbl.create 97
 let categories : (string, string list) Hashtbl.t = Hashtbl.create 97
 
 let current_loc = ref Loc.ghost
-let flags = ref ""
+let flags = ref "default"
 
 let set_current_loc = (:=) current_loc
 
-- 
cgit v1.2.3