add suppression missed in 5ba2d8500a

issue#70
Houtan Bastani 2019-06-21 17:08:58 +02:00
parent 5ba2d8500a
commit ef62bc6c50
No known key found for this signature in database
GPG Key ID: 000094FB955BE169
1 changed files with 2 additions and 0 deletions

View File

@ -819,6 +819,8 @@ BinaryOp::eval()
{
throw StackTrace("binary operation", e.what(), location);
}
// Suppress GCC warning
exit(EXIT_FAILURE);
}
BaseTypePtr