X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tools%2Fxml_diff.ml;h=3c9ed7c5d5e5bbe5461d82a5ba3369f8e47b66ab;hb=ef59263005772dd168506a99eeeada5277e1a7b2;hp=1d85743a261893acac475ea019b26f5eb0133f8a;hpb=80478f0eb936f38e0512371fc7a300cdc32775c5;p=tatoo.git

diff --git a/tools/xml_diff.ml b/tools/xml_diff.ml
index 1d85743..3c9ed7c 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 () =