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=8654c450e29ca4eec05c17bcb3b3552e930e5b15;hp=1086b1e793564a3dc9219f3fd4fe2f811321b64a;hb=fadcbf2f6f9f33b844fd5e875a1bda4bed446a43;hpb=10aa93a09950c79d316594aa7d4bb62b64c1a60b

diff --git a/src/tree/naive.ml b/src/tree/naive.ml
index 1086b1e..8654c45 100644
--- a/src/tree/naive.ml
+++ b/src/tree/naive.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-02-07 09:59:37 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-02-14 16:14:00 CET by Kim Nguyen>
 *)
 open Utils
 
@@ -108,6 +108,7 @@ struct
   let text_string = QName.to_string QName.text
   let attr_map_string = QName.to_string QName.attribute_map
 
+  let att_pref = QName.node QName.attribute_prefix
   let rec start_element_handler parser_ ctx tag attr_list =
     do_text parser_ ctx;
     let parent = top ctx in
@@ -130,7 +131,7 @@ struct
       end_element_handler parser_ ctx attr_map_string
 
   and do_attribute parser_ ctx (att, value) =
-    let att_tag = " " ^ att in
+    let att_tag = att_pref ^ att in
     start_element_handler parser_ ctx att_tag [];
     start_element_handler parser_ ctx text_string [];
     let n = top ctx in n.data <- value;