Index: src/libcfa/bits/defs.h
===================================================================
--- src/libcfa/bits/defs.h	(revision 2b8bc41cc0f55bac8689d482865c1aaa65298733)
+++ src/libcfa/bits/defs.h	(revision c6599682e1a79e51a5a54e92f93dbc43eee5da2c)
@@ -1,10 +1,10 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// defs.h -- 
-// 
+//
+// defs.h --
+//
 // Author           : Thierry Delisle
 // Created On       : Thu Nov  9 13:24:10 2017
@@ -12,5 +12,5 @@
 // Last Modified On : Tue Jan  2 09:17:06 2018
 // Update Count     : 2
-// 
+//
 
 #pragma once
@@ -34,4 +34,7 @@
 
 #ifdef __cforall
+#ifndef __NO_ABORT_OVERLOAD
+void abort ( const char fmt[], ... ) __attribute__ ((__nothrow__, __leaf__, __noreturn__));
+#endif
 extern "C" {
 #endif