1 files changed, 1 insertions, 1 deletions
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;