X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;fp=main.ml;h=91437afd5a2ca99e5ba39ff708b654e0104ecf56;hb=bfedbb29aa139abed0a311fd2ab2d00f15e1ed9e;hp=f440b3a7b893c4949f601d4bcded37b48e296a87;hpb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index f440b3a..91437af 100644
--- a/main.ml
+++ b/main.ml
@@ -93,7 +93,7 @@ let main v query_string output =
 	  Ulexer.Loc.Exc_located ((x,y),e) -> Printf.eprintf "character %i-%i %s\n" x y (Printexc.to_string e);exit 1
       in
       let _ = Printf.eprintf "Number of nodes %i\n%!" (Tree.size v) in
-      let _ = test_text v in
+(*      let _ = test_text v in *)
 (*      let _ = Tree.stats v in
       let _ = Printf.eprintf "Timing first_child/next_sibling %!" in
       let _ = time (Tree.benchmark_fcns)  v in