From 24879dc0e59856e297b0172d00d67df67fbb0184 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 30 May 2012 16:05:13 +0000
Subject: More uniformisation in Pp.warn functions.

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

(limited to 'lib')

diff --git a/lib/pp.ml4 b/lib/pp.ml4
index ff1973846a..0a3466859e 100644
--- a/lib/pp.ml4
+++ b/lib/pp.ml4
@@ -321,7 +321,6 @@ let pperr     x = pp_with   !err_ft x
 let pperrnl   x = ppnl_with !err_ft x
 let message   s = ppnl      (str s)
 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()
 
diff --git a/lib/pp.mli b/lib/pp.mli
index 112d976552..da37a11533 100644
--- a/lib/pp.mli
+++ b/lib/pp.mli
@@ -101,8 +101,6 @@ val ppnl : std_ppcmds -> unit
 val pperr : std_ppcmds -> unit
 val pperrnl : std_ppcmds -> unit
 val message : string -> unit       (** = pPNL *)
-val warning : string -> unit
-val warn : std_ppcmds -> unit
 val pp_flush : unit -> unit
 val flush_all: unit -> unit
 
-- 
cgit v1.2.3