X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=3c698cd0bfe67d4dfbefbe2ef4cac719d45f248a;hb=77294fdd983393727bcee7fda52dacdaf943e585;hp=c8ca27e2f7de79652a2e016bd19f9810013c6f71;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index c8ca27e..3c698cd 100644
--- a/main.ml
+++ b/main.ml
@@ -40,7 +40,7 @@ let main filename query output =
 	Format.eprintf "\n%!";
 
 	Printf.eprintf "TopDown (No BackTrack) : \n";
-	time (TopDown.run auto) v;
+	time (fun v -> ignore (TopDown.accept auto v)) v;
 	P(Printf.eprintf "Max states in TopDownNOBT : %i\n%!" auto.max_states);
 	begin
 	  match output with