(* 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;