From b52e941b046a39213bcccb2fc3fa3c68d8e2cbcd Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Mon, 21 Oct 2019 15:33:11 +0200 Subject: [PATCH] ltsmin: prefer '\n' for std::cerr * tests/ltsmin/modelcheck.cc: Here. --- tests/ltsmin/modelcheck.cc | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc index 8cf89b481..018aa4472 100644 --- a/tests/ltsmin/modelcheck.cc +++ b/tests/ltsmin/modelcheck.cc @@ -339,10 +339,9 @@ static int checked_main() } catch (const std::bad_alloc&) { - std::cerr << "Out of memory during emptiness check." - << std::endl; + std::cerr << "Out of memory during emptiness check.\n"; if (!mc_options.compress) - std::cerr << "Try option -z for state compression." << std::endl; + std::cerr << "Try option -z for state compression.\n"; exit_code = 2; exit(exit_code); } @@ -374,8 +373,8 @@ static int checked_main() } catch (const std::bad_alloc&) { - std::cerr << "Out of memory while looking for counterexample." - << std::endl; + std::cerr + << "Out of memory while looking for counterexample.\n"; exit_code = 2; exit(exit_code); }