X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fmain.ml;h=88cd08426d798171d730cdf640e67a7454b0b121;hb=f36210fd16a8e4e4d6ecdd8825bf8b8307943472;hp=6546fd5b70e1fb5b09f89f880a27a9eaf00b0d98;hpb=eb96a7b791ac414a861a31e93e3336924daaecbe;p=goals.git

diff --git a/src/main.ml b/src/main.ml
index 6546fd5..88cd084 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -52,8 +52,8 @@ let main () =
   if Cmdline.debug_flag then
     Ast.print_env stderr env;
 
-  (* Evaluate the target expressions in turn. *)
-  Eval.evaluate_targets env targets
+  (* Run the target expressions. *)
+  Run.run_targets env targets
 
 let () =
   try main ()