@ -10687,7 +10687,7 @@ Requires messy cast-and-macro-laden code to get working right.
void error(int severity)
{
std::cerr << '\n' << std::flush;
std::cerr << '\n';
std::exit(severity);
}