From d63320ceb1c56710f5e953742dd5d6cf43aacbdf Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 8 May 2013 19:55:23 +0000
Subject: Uniformizing the [if_warn] flag used for warning printing and put it
 into the standard logger instead.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16491 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/clib.mllib | 5 +++--
 lib/pp.ml      | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/clib.mllib b/lib/clib.mllib
index a9b596b99e..022a14ac36 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -1,3 +1,5 @@
+Coq_config
+
 Int
 Option
 Store
@@ -5,8 +7,8 @@ Exninfo
 Backtrace
 IArray
 Pp_control
+Flags
 Pp
-Coq_config
 Deque
 Hashset
 Hashcons
@@ -18,6 +20,5 @@ Util
 Loc
 Serialize
 Xml_utils
-Flags
 CUnix
 Envars
diff --git a/lib/pp.ml b/lib/pp.ml
index c346943e15..4d2c866d10 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -341,7 +341,7 @@ let std_logger level msg = match level with
 | Debug _ -> msgnl (debugbody msg) (* cyan *)
 | Info -> msgnl (print_color "37" (hov 0 msg)) (* gray *)
 | Notice -> msgnl msg
-| Warning -> msgnl_with !err_ft (warnbody msg) (* bright yellow *)
+| Warning -> Flags.if_warn (msgnl_with !err_ft) (warnbody msg) (* bright yellow *)
 | Error -> msgnl_with !err_ft (errorbody msg) (* bright red *)
 
 let logger = ref std_logger
-- 
cgit v1.2.3