From aace7e68699c099d406716be2c639e408b476e1a Mon Sep 17 00:00:00 2001 From: Sylvain Berfini Date: Wed, 11 Oct 2017 16:17:31 +0200 Subject: [PATCH] Another compilation fix --- src/c-wrapper/internal/c-tools.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: