X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=b98932972e3c1382cb6c8709871ef58a0a486e55;hb=7dea5fd8bedede27d4d601f85630a249bfab420b;hp=c53edf29a97a32dd5460c015f83fbe8abe5df382;hpb=6b03c8ef3dac4b1de06ca577e8e0ee07c6c3eae7;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index c53edf2..b989329 100644
--- a/main.ml
+++ b/main.ml
@@ -42,8 +42,8 @@ let main v query output =
 	let auto = time XPath.Compile.compile  query in
 	  XPath.Ast.print Format.err_formatter query;
 	  Format.eprintf "\n%!";
-	  (*		Format.eprintf "Internal rep of the tree is :\n%!";
-			Tree.Binary.dump v;			      *)
+(*	  Format.eprintf "Internal rep of the tree is :\n%!";
+	  Tree.Binary.dump v; *)
 	  Printf.eprintf "Execution time : ";
 	  time (fun v -> ignore (TopDown.accept auto v)) v;
 	  Printf.eprintf "Number of nodes in the result set : %i\n" (BST.cardinal auto.result);