Commit 4d9679c2 authored by Etienne Renault's avatar Etienne Renault
Browse files

ltsmin: prefer '\n' for std::cerr

* tests/ltsmin/modelcheck.cc: Here.
parent d667e0e6
...@@ -339,10 +339,9 @@ static int checked_main() ...@@ -339,10 +339,9 @@ static int checked_main()
} }
catch (const std::bad_alloc&) catch (const std::bad_alloc&)
{ {
std::cerr << "Out of memory during emptiness check." std::cerr << "Out of memory during emptiness check.\n";
<< std::endl;
if (!mc_options.compress) 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_code = 2;
exit(exit_code); exit(exit_code);
} }
...@@ -374,8 +373,8 @@ static int checked_main() ...@@ -374,8 +373,8 @@ static int checked_main()
} }
catch (const std::bad_alloc&) catch (const std::bad_alloc&)
{ {
std::cerr << "Out of memory while looking for counterexample." std::cerr
<< std::endl; << "Out of memory while looking for counterexample.\n";
exit_code = 2; exit_code = 2;
exit(exit_code); exit(exit_code);
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment