From 9dd2df4c16078d41df1cf6233c9cf84fffbeee52 Mon Sep 17 00:00:00 2001
From: corbinea
Date: Wed, 31 Jan 2007 13:37:42 +0000
Subject: redirection of errors in coqide + dynamic warning printer (needed for
 tm_egg)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9566 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/pp_control.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp_control.mli')

diff --git a/lib/pp_control.mli b/lib/pp_control.mli
index 24faf96f4d..3c008aaca1 100644
--- a/lib/pp_control.mli
+++ b/lib/pp_control.mli
@@ -37,7 +37,7 @@ val with_fp : 'a pp_formatter_params -> Format.formatter
 val with_output_to : out_channel -> Format.formatter
 
 val std_ft : Format.formatter ref
-val err_ft : Format.formatter
+val err_ft : Format.formatter ref
 val deep_ft : Format.formatter
 
 (*s For parametrization through vernacular. *)
-- 
cgit v1.2.3