X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftree%2Fnaive.ml;fp=src%2Ftree%2Fnaive.ml;h=37683f34e34852b69584c63226095602f0ae2902;hp=cff6ee2019dc329ffba874ae0ec32e3784f82414;hb=a3d6ecbcea379fa51785848a5b8b53bca4e4bdd2;hpb=f749a3e33d759fddef63a69e54ff1336411d5e16 diff --git a/src/tree/naive.ml b/src/tree/naive.ml index cff6ee2..37683f3 100644 --- a/src/tree/naive.ml +++ b/src/tree/naive.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) open Utils @@ -142,7 +142,7 @@ struct 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 @@ -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 () =