From: Richard W.M. Jones Date: Mon, 23 Dec 2019 20:43:08 +0000 (+0000) Subject: Send debug message to stderr. X-Git-Tag: v'0.2'~138 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=45ce0dc9b247c8182e708e32196195040f27b1e1;p=goals.git Send debug message to stderr. --- diff --git a/src/main.ml b/src/main.ml index 73a53da..06af8e5 100644 --- a/src/main.ml +++ b/src/main.ml @@ -92,7 +92,7 @@ let main () = if targets <> [] then targets else [Ast.ECall (Ast.noloc, "all", [])] in - Ast.print_env stdout env; + Ast.print_env stderr env; (* Evaluate the target expressions in turn. *) Eval.evaluate_targets env targets