X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Fxml_diff.ml;h=ae4aad6ef216427345fa3e55f837e7cee5dbe17c;hp=1d85743a261893acac475ea019b26f5eb0133f8a;hb=fed343e8df1900043dc993ac5458c757d3ac2ee0;hpb=97cc08246d4a73e9cc9070f645a351799b7340d1

diff --git a/tools/xml_diff.ml b/tools/xml_diff.ml
index 1d85743..ae4aad6 100644
--- a/tools/xml_diff.ml
+++ b/tools/xml_diff.ml
@@ -43,7 +43,7 @@ and do_text parser_ ctx =
     Buffer.clear  ctx.text_buffer;
     Queue.add (Text s, get_position parser_) ctx.events
 
-let character_data_handler parser_ ctx text =
+let character_data_handler _ ctx text =
   Buffer.add_string ctx.text_buffer text
 
 let create_parser () =
@@ -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 () =