diff options
| author | ppedrot | 2013-05-08 19:55:23 +0000 |
|---|---|---|
| committer | ppedrot | 2013-05-08 19:55:23 +0000 |
| commit | d63320ceb1c56710f5e953742dd5d6cf43aacbdf (patch) | |
| tree | 9a6eec0f6e330270aab09af8ae9c744282dc8a82 /lib | |
| parent | c9467e5684f9a71cb82ddc72b5b9d501b32b5c5e (diff) | |
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
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/clib.mllib | 5 | ||||
| -rw-r--r-- | lib/pp.ml | 2 |
2 files changed, 4 insertions, 3 deletions
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 @@ -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 |