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

[tatoo.git] / src / solve.ml

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