From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Wed, 28 Apr 2010 06:47:01 +0000 (+0000)
Subject: Safety commit before clean-up
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=bf2b1a91300ace1e7e83bd78f868a269d86498f9;p=SXSI%2Fxpathcomp.git

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
--- 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
--- 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