--- 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)