X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=ba9332859e8c4dd7efef221fd8ae34756fdcdeca;hb=c10ce35cd399aff15a49f3b24a31b38cb2191da0;hp=48f81bd78b1ae7639fedfff5f1460768ebbeac9e;hpb=6c60812f1f494f273d6074fcccf2707a6097cfaa;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index 48f81bd..ba93328 100644
--- a/main.ml
+++ b/main.ml
@@ -23,12 +23,12 @@ let total_time () =  List.fold_left (+.) 0. !l;;
 
 
 let main filename query output =
-
     (* Just a trick to allow the C++ code to print debugging stuff first *)  
     let v = time (fun () -> let v = Tree.Binary.parse_xml_uri filename;
 		  in Printf.eprintf "Parsing document : %!";v
 		 ) () 
     in
+    let _ = Tag.init (Tree.Binary.tag_pool v) in
       MM(v,__LOCATION__);
       Printf.eprintf "Parsing query : ";    
       let query = try