X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Fmain.ml;h=63dac2bbfe658fd353e948133e29dfc9ed26ddd3;hb=2a9d33a300ac414c21679c520bc6434d48f499a9;hp=2b74a4f42ca2e5226b81b55c8c9a487621797dae;hpb=77f9b77c4f58dc4f149050e1d4a0ee36f91d8493;p=goals.git

diff --git a/src/main.ml b/src/main.ml
index 2b74a4f..63dac2b 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -75,7 +75,7 @@ let main () =
     Ast.print_env stderr env;
 
   (* Run the target expressions. *)
-  Run.run_targets env targets
+  Run.run_targets_to_completion env targets
 
 let () =
   try main ()