X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=71f9a98b95180096a453254b3d5e564761f1a453;hb=9c0b145d050a5981010435f54848dc862782709c;hp=4d0140384a6b354d1413c839286ce65e9288d100;hpb=ddf595a3f6b7b5c2aa2e697257d760b2ac319dd2;p=tatoo.git

diff --git a/src/tree.ml b/src/tree.ml
index 4d01403..71f9a98 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -13,6 +13,10 @@
 (*                                                                     *)
 (***********************************************************************)
 
+(*
+  Time-stamp: <Last modified on 2013-02-05 13:56:52 CET by Kim Nguyễn>
+*)
+
 type node = {
   tag : QName.t;
   preorder : int;
@@ -61,10 +65,10 @@ struct
   }
 
   let print_node_ptr fmt n =
-    Format.fprintf fmt "%s"
-      (if n == nil then "<NIL>" else
-        if n == dummy then "<DUMMY>" else
-          "<NODE " ^  string_of_int n.preorder ^ ">")
+    Format.fprintf fmt "<%s>"
+      (if n == nil then "NIL" else
+        if n == dummy then "DUMMY" else
+          "NODE " ^  string_of_int n.preorder)
 
   let debug_node fmt node =
     Format.fprintf fmt "{ tag=%s; preorder=%i; data=%s; first_child=%a; next_sibling=%a; parent=%a }"
@@ -152,8 +156,8 @@ struct
       start_element_handler parser_ ctx text_string [];
       let node = top ctx in
       node.data <- s;
-      end_element_handler parser_ ctx text_string;
-      Format.eprintf "DEBUG: %a\n\n" debug_ctx ctx
+      end_element_handler parser_ ctx text_string
+
 
 
   let character_data_handler parser_ ctx text =