From 481d2b681463d2758fec6b2417631491be69f216 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 13 Sep 2015 16:29:48 +0200
Subject: Do not canonicalize messages received by CoqIDE.

---
 ide/coq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coq.ml')

diff --git a/ide/coq.ml b/ide/coq.ml
index d061df6fd..8392b7dbf 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -336,7 +336,7 @@ let unsafe_handle_input handle feedback_processor state conds ~read_all =
   let lex = Lexing.from_string s in
   let p = Xml_parser.make (Xml_parser.SLexbuf lex) in
   let rec loop () =
-    let xml = Xml_parser.parse p in
+    let xml = Xml_parser.parse ~do_not_canonicalize:true p in
     let l_end = Lexing.lexeme_end lex in
     state.fragment <- String.sub s l_end (String.length s - l_end);
     state.lexerror <- None;
-- 
cgit v1.2.3