Index: src/prelude/builtins.c
===================================================================
--- src/prelude/builtins.c	(revision 7fb69f6ff47e3cf80a48e7d4a2d60484ab537f48)
+++ src/prelude/builtins.c	(revision b3763cab70f90086a690c73c59ebc85aa8022a12)
@@ -10,6 +10,6 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb  8 12:47:59 2018
-// Update Count     : 19
+// Last Modified On : Sun Aug  5 21:40:38 2018
+// Update Count     : 20
 //
 
@@ -22,5 +22,5 @@
 
 void exit( int status, const char fmt[], ... ) __attribute__ (( format(printf, 2, 3), __nothrow__, __leaf__, __noreturn__ ));
-void abort ( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
+void abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
 
 // increment/decrement unification