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