Index: src/Common/Assert.cc
===================================================================
--- src/Common/Assert.cc	(revision 8b7ee0974cc08327cc6c696da347e0f8d3d1f50c)
+++ src/Common/Assert.cc	(revision e6955b1a44ef79f7fd4b73e0cb17574f4a867207)
@@ -10,12 +10,12 @@
 // Created On       : Thu Aug 18 13:26:59 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Aug 18 23:40:29 2016
-// Update Count     : 8
+// Last Modified On : Fri Aug 19 17:07:08 2016
+// Update Count     : 10
 // 
 
 #include <assert.h>
-#include <cstdarg>
-#include <cstdio>
-#include <cstdlib>
+#include <cstdarg>										// varargs
+#include <cstdio>										// fprintf
+#include <cstdlib>										// abort
 
 extern const char * __progname;							// global name of running executable (argv[0])
@@ -26,5 +26,5 @@
 void __assert_fail( const char *assertion, const char *file, unsigned int line, const char *function ) {
 	fprintf( stderr, CFA_ASSERT_FMT ".\n", __progname, function, line, file );
-	exit( EXIT_FAILURE );
+	abort();
 }
 
@@ -35,5 +35,5 @@
 	va_start( args, fmt );
 	vfprintf( stderr, fmt, args );
-	exit( EXIT_FAILURE );
+	abort();
 }