From 2c431f531be51529a8ea3892b3d1aa52f8cc117f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 6 Jun 2018 17:02:10 +0200 Subject: [PATCH] All output to stdout (in place of stderr). This commit could be cherry-picked in the other branches as well. --- ocaml/simple_test.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ocaml/simple_test.ml b/ocaml/simple_test.ml index 438b7b5..49ea28f 100644 --- a/ocaml/simple_test.ml +++ b/ocaml/simple_test.ml @@ -30,7 +30,7 @@ let gen n vars = let rec repeat f n = - prerr_endline "\n########################### NEW TEST ###########################"; + print_endline "\n########################### NEW TEST ###########################"; f () ; if n > 0 then repeat f (n-1) ;; @@ -51,5 +51,5 @@ let main = (solve ++ problem_of ++ Parser.problem_of_string) str ) num ; - prerr_endline "\n---- ALL TESTS COMPLETED ----" + print_endline "\n---- ALL TESTS COMPLETED ----" ;; -- 2.39.2