X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fsolve.ml;h=5074ae068ec2e20b09e73c1566cf2e3556c59fd4;hp=c94967db1449fc60d51772fb9d23d1d97e20755e;hb=a43a51c51314468a47a36904c2b904f5a9a14bca;hpb=d4e704decf927be044d72a6fe4314aea3c8125a5

diff --git a/src/solve.ml b/src/solve.ml
index c94967d..5074ae0 100644
--- 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