From b7a8ecc6c41a21885bf8dabc71098f8e2267f7da Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 29 Jun 2012 21:04:49 +0000
Subject: Various small display improvement

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15505 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/ide_slave.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index 6e0a3c787b..8b8de43ee1 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -400,9 +400,10 @@ let eval_call c =
 
 let slave_logger level message =
   (* convert the message into XML *)
+  let msg = Pp.string_of_ppcmds (hov 0 message) in
   let message = {
     Interface.message_level = level;
-    Interface.message_content = Pp.string_of_ppcmds message
+    Interface.message_content = msg;
   } in
   let xml = Serialize.of_message message in
   (* Send it to stdout *)
-- 
cgit v1.2.3