X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=2e7ac44a0cc0b08a01fde2dd7b5834c5e9bee0a2;hb=976bb1b35d77f3058df3c25c1e2a4767147d606b;hp=88cd08426d798171d730cdf640e67a7454b0b121;hpb=84972c63d0dbc5a0da05ae08a5b99a9ad81baadc;p=goals.git

diff --git a/src/main.ml b/src/main.ml
index 88cd084..2e7ac44 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -47,7 +47,7 @@ let main () =
   (* If no target was set on the command line, use "all ()". *)
   let targets =
     if targets <> [] then targets
-    else [Ast.ECallGoal (Ast.noloc, "all", [])] in
+    else [Ast.ECall (Ast.noloc, "all", [])] in
 
   if Cmdline.debug_flag then
     Ast.print_env stderr env;