test case to debug : in predicates, only recurse on left child for the first step,

[SXSI/xpathcomp.git] / main.ml

diff --git a/main.ml b/main.ml
index c8ca27e..3c698cd 100644 (file)
--- 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