diff --git a/src/c-wrapper/internal/c-tools.h b/src/c-wrapper/internal/c-tools.h index a54e98c3b..f7d39519a 100644 --- a/src/c-wrapper/internal/c-tools.h +++ b/src/c-wrapper/internal/c-tools.h @@ -155,7 +155,7 @@ private: // Runtime checker. // --------------------------------------------------------------------------- - static inline void abort (const char *message) { + [[noreturn]] static inline void abort (const char *message) { std::cerr << "[FATAL C-WRAPPER]" << message << std::endl; std::terminate(); }