Safety commit before clean-up

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@811 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

diff --git a/ata.ml b/ata.ml
index 5288b78..1b310dc 100644 (file)
--- a/ata.ml
+++ b/ata.ml
@@ -445,6 +445,7 @@ let tags_of_state a q =
       val merge : merge_conf -> elt -> t -> t -> t 
       val mk_quick_tag_loop : (elt -> elt -> 'a*t array) -> 'a -> int -> Tree.t -> Tag.t -> (elt -> elt -> 'a*t array)
       val mk_quick_star_loop : (elt -> elt -> 'a*t array) -> 'a -> int -> Tree.t -> (elt -> elt -> 'a*t array)
+      
     end
 
     module Integer : ResultSet =
@@ -489,7 +490,7 @@ let tags_of_state a q =
       let mk_quick_star_loop _ sl ss tree = ();
        fun t ctx -> 
          (sl, Array.make ss (Tree.subtree_elements tree t))
-         
+               
     end
 
     module IdSet : ResultSet= 

diff --git a/main.ml b/main.ml
index 76f8089..3192810 100644 (file)
--- a/main.ml
+++ b/main.ml
@@ -97,8 +97,8 @@ let main v query_string output =
       let _ = Printf.eprintf "Number of nodes %i\n%!" (Tree.size v) in
 (*      let _ = test_text v in *)
 (*      let _ = Tree.stats v in *)
-(*      let _ = Printf.eprintf "Timing first_child/next_sibling %!" in  *)
-(*      let _ = time ~count:1 (Tree.benchmark_fcns)  v in  *)
+      let _ = Printf.eprintf "Timing first_child/next_sibling %!" in  
+      let _ = time ~count:3 (Tree.benchmark_fcns)  v in  
    (*   let _ = Printf.eprintf "Timing last_child/prev_sibling %!" in
       let _ = time (Tree.benchmark_lcps)  v in
       let _ = Printf.eprintf "Timing jump to a %!" in