--- src/basics.cpp	2011-01-23 03:08:13.000000000 +0000
+++ src/basics.cpp.new	2011-01-23 19:33:49.499236864 +0000
@@ -93,7 +93,7 @@
     std::cerr << "ASSERTION ERROR!" << std::endl;
     std::cerr << "Filename: " << filename << std::endl;
     std::cerr << "Line number: " << lineNumber << std::endl;
-
+/*
 	std::cerr << "Do you wish to continue?(y/n)";
 	char y = 'a';
 	while (y != 'n' && y != 'y')
@@ -101,6 +101,7 @@
 
 	if (y != 'y')
 		exit(1);
+*/
 }
 
 void dh_warn(const char * const filename, const unsigned int lineNumber,const char *message)