Fix stupid bug with Tag indices

[SXSI/xpathcomp.git] / main.ml

diff --git a/main.ml b/main.ml
index 48f81bd..ba93328 100644 (file)
--- 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