From 83b88cee6a66f999a4198200eade41ef49f038c6 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 4 Jun 2012 17:46:13 +0000
Subject: A box to pretty-print them all.

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

(limited to 'lib')

diff --git a/lib/pp.ml4 b/lib/pp.ml4
index 0b207c7c32..2eb79c100e 100644
--- a/lib/pp.ml4
+++ b/lib/pp.ml4
@@ -334,7 +334,7 @@ let print_color s x =
   else x
 
 let make_body color info s =
-  emacs_quote (print_color color (print_color "1" (info ++ spc () ++ s)))
+  emacs_quote (print_color color (print_color "1" (hov 0 (info ++ spc () ++ s))))
 
 let debugbody strm = print_color "36" (str "Debug:" ++ spc () ++ strm) (* cyan *)
 let warnbody strm = make_body "93" (str "Warning:") strm (* bright yellow *)
@@ -342,7 +342,7 @@ let errorbody strm = make_body "31" (str "Error:") strm (* bright red *)
 
 let std_logger level msg = match level with
 | Debug _ -> msgnl (debugbody msg) (* cyan *)
-| Info -> msgnl (print_color "37" msg) (* gray *)
+| Info -> msgnl (print_color "37" (hov 0 msg)) (* gray *)
 | Notice -> msgnl msg
 | Warning -> msgnl_with !err_ft (warnbody msg) (* bright yellow *)
 | Error -> msgnl_with !err_ft (errorbody msg) (* bright red *)
-- 
cgit v1.2.3