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 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 () =