From 15fbd9b0fef9a391c69816789a32c7e2d45c147b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 10 Sep 2003 15:05:53 +0000
Subject: warning vers std_err

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4346 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/pp.ml4 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/pp.ml4 b/lib/pp.ml4
index 0e4b6b05e0..14726f8aa8 100644
--- a/lib/pp.ml4
+++ b/lib/pp.ml4
@@ -219,8 +219,8 @@ let ppnl      x = ppnl_with !std_ft x
 let pperr     = pp_with err_ft
 let pperrnl   = ppnl_with err_ft
 let message s = ppnl (str s)
-let warning   x = warning_with !std_ft x
-let warn      x = warn_with !std_ft x
+let warning   x = warning_with err_ft x
+let warn      x = warn_with err_ft x
 let pp_flush  x = Format.pp_print_flush !std_ft x
 let flush_all() = flush stderr; flush stdout; pp_flush()
 
@@ -229,4 +229,4 @@ let msg x = msg_with !std_ft x
 let msgnl x = msgnl_with !std_ft x
 let msgerr = msg_with err_ft
 let msgerrnl = msgnl_with err_ft
-let msg_warning x = msg_warning_with !std_ft x
+let msg_warning x = msg_warning_with err_ft x
-- 
cgit v1.2.3