From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 10 Mar 2013 09:52:57 +0000 (+0100)
Subject: Silence an 'unused variable' warning.
X-Git-Tag: v0.1~148
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=f335242129478c201cd902dc9122e5822b169f9c

Silence an 'unused variable' warning.
---

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