projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Silence several warnings (missing _ in records, unused variables).
[tatoo.git]
/
src
/
tree
/
naive.ml
diff --git
a/src/tree/naive.ml
b/src/tree/naive.ml
index
cff6ee2
..
37683f3
100644
(file)
--- a/
src/tree/naive.ml
+++ b/
src/tree/naive.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-04 2
1:59:38
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 2
3:40:26
CET by Kim Nguyen>
*)
open Utils
*)
open Utils
@@
-142,7
+142,7
@@
struct
if n.next_sibling != dummy then
let _ = pop ctx in consume_closing ctx (top ctx)
if n.next_sibling != dummy then
let _ = pop ctx in consume_closing ctx (top ctx)
- and end_element_handler parser_ ctx
tag
=
+ and end_element_handler parser_ ctx
_
=
do_text parser_ ctx;
let node = top ctx in
if node.first_child == dummy then node.first_child <- nil
do_text parser_ ctx;
let node = top ctx in
if node.first_child == dummy then node.first_child <- nil
@@
-162,7
+162,7
@@
struct
- let character_data_handler
parser_
ctx text =
+ let character_data_handler
_parser
ctx text =
Buffer.add_string ctx.text_buffer text
let create_parser () =
Buffer.add_string ctx.text_buffer text
let create_parser () =