projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Refactor pretty printing of transitions and fix some depracated function uses.
[tatoo.git]
/
tools
/
xml_diff.ml
diff --git
a/tools/xml_diff.ml
b/tools/xml_diff.ml
index
3c9ed7c
..
ae4aad6
100644
(file)
--- a/
tools/xml_diff.ml
+++ b/
tools/xml_diff.ml
@@
-66,8
+66,8
@@
let common_prefix ctx1 ctx2 len =
let diffs fd1 fd2 =
let diffs fd1 fd2 =
- let buffer1 = String.
create 4096
in
- let buffer2 = String.
create 4096
in
+ let buffer1 = String.
make 4096 '\000'
in
+ let buffer2 = String.
make 4096 '\000'
in
let parser1,ctx1 = create_parser () in
let parser2,ctx2 = create_parser () in
let rec loop () =
let parser1,ctx1 = create_parser () in
let parser2,ctx2 = create_parser () in
let rec loop () =