typo test.ml + Why the old asta is taken for building Compil.trans qu ?

diff --git a/correct_test b/correct_test
index d28ee73..ec62b8a 100755 (executable)
--- a/correct_test
+++ b/correct_test
@@ -1 +1 @@
-./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries
\ No newline at end of file
+./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries 1
\ No newline at end of file

diff --git a/src/solve.ml b/src/solve.ml
index c94967d..5074ae0 100644 (file)
--- a/src/solve.ml
+++ b/src/solve.ml
@@ -42,10 +42,6 @@ let query () =
         list
   else failwith "Use -f"
 
-let build_asta query =
-  let asta = Compil.trans query in
-  asta
-
 let compute_run doc query = 
   let run = Run.compute doc query in
   run
@@ -65,7 +61,7 @@ let () =
   let rec solve_queries = function
     | [] -> ()
     | query :: tl ->
-      let asta = build_asta query in
+      let asta = Compil.trans query in
       let selected_nodes = Run.selected_nodes doc asta in
       let run = compute_run doc asta in
       fprintf err_formatter "\n  ### Query: %a"
@@ -78,6 +74,7 @@ let () =
         Run.print err_formatter run;
       end
       else ();
+      let asta = Asta.empty in
       solve_queries tl in
   solve_queries queries;
   exit 0

diff --git a/src/test.ml b/src/test.ml
index c6bdaa1..42dc011 100644 (file)
--- a/src/test.ml
+++ b/src/test.ml
@@ -55,7 +55,7 @@ let () =
   let doc = doc () in
   let query = query () in
   let asta = build_asta query in
-  let run = compute_run doc asata in
+  let run = compute_run doc asta in
   let selected_nodes = Run.selected_nodes doc asta in
   Format.pp_set_margin err_formatter 80;
   fprintf err_formatter "@[<v 0>##### Query #####@.  %a@]\n"