Index: src/libcfa/libhdr/libtools.h
===================================================================
--- src/libcfa/libhdr/libtools.h	(revision 9d944b2a97f0468ab2208567dbc494494cf66a93)
+++ src/libcfa/libhdr/libtools.h	(revision 365d553c912bc4adffa186e79aed84ef359f6f48)
@@ -22,6 +22,11 @@
 // } // libAbort
 
-#define abortf(...) abort();
-
+#ifdef __cforall
+extern "C" {
+#endif
+void abortf( const char fmt[], ... ) __attribute__ ((__nothrow__, __leaf__, __noreturn__));
+#ifdef __cforall
+}
+#endif
 
 #endif //__LIB_TOOLS_H__