From f335242129478c201cd902dc9122e5822b169f9c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Sun, 10 Mar 2013 10:52:57 +0100 Subject: [PATCH] Silence an 'unused variable' warning. --- tools/xml_diff.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 () = -- 2.17.1