projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Implement the multiple-starters feature:
[tatoo.git]
/
tools
/
xml_diff.ml
diff --git
a/tools/xml_diff.ml
b/tools/xml_diff.ml
index
1d85743
..
3c9ed7c
100644
(file)
--- 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 () =