diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-13 16:29:48 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-20 15:20:32 +0200 |
commit | 481d2b681463d2758fec6b2417631491be69f216 (patch) | |
tree | be9c107d7fed7afcd7780396fde1ab8ffcfb222c /ide/coq.ml | |
parent | 8b609e4e6df906dc16e8fa506a71046ab3b8f16c (diff) |
Do not canonicalize messages received by CoqIDE.
Diffstat (limited to 'ide/coq.ml')
-rw-r--r-- | ide/coq.ml | 2 |
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; |