Index: src/Common/Assert.cc
===================================================================
--- src/Common/Assert.cc	(revision 1cb22825bab5d56d090288212b0e42e25eff9ae1)
+++ src/Common/Assert.cc	(revision 1cb22825bab5d56d090288212b0e42e25eff9ae1)
@@ -0,0 +1,46 @@
+// 
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// Assert.cc -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Thu Aug 18 13:26:59 2016
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Aug 18 16:32:47 2016
+// Update Count     : 7
+// 
+
+
+#include <assert.h>
+#include <cstdarg>
+#include <cstdio>
+#include <cstdlib>
+
+extern const char * __progname;							// global name of running executable (argv[0])
+
+#define CFA_ASSERT_FMT "*CFA assertion error* from program \"%s\" in \"%s\" at line %d in file \"%s\""
+
+// called by macro assert in assert.h
+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 );
+}
+
+// called by macro assertf
+void __assert_fail_f( const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ... ) {
+	fprintf( stderr, CFA_ASSERT_FMT ": ", __progname, function, line, file );
+	va_list args;
+	va_start( args, fmt );
+	vfprintf( stderr, fmt, args );
+	exit( EXIT_FAILURE );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End:  //
+
Index: src/Common/module.mk
===================================================================
--- src/Common/module.mk	(revision e04ef3a33b7695190c509b61da6fe0cfcf46b265)
+++ src/Common/module.mk	(revision 1cb22825bab5d56d090288212b0e42e25eff9ae1)
@@ -11,8 +11,9 @@
 ## Created On       : Mon Jun  1 17:49:17 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Mon Jun  1 17:51:23 2015
-## Update Count     : 1
+## Last Modified On : Thu Aug 18 13:29:04 2016
+## Update Count     : 2
 ###############################################################################
 
 SRC += Common/SemanticError.cc \
-       Common/UniqueName.cc
+       Common/UniqueName.cc \
+       Common/Assert.cc