--- a/absyntax_utils/case_element_iterator.cc Thu Jun 14 17:50:37 2012 +0100
+++ b/absyntax_utils/case_element_iterator.cc Fri Jun 15 19:54:33 2012 +0100
@@ -49,6 +49,7 @@
#include "case_element_iterator.hh"
+#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.
//#define DEBUG
@@ -59,9 +60,6 @@
#endif
-#define ERROR error_exit(__FILE__,__LINE__)
-/* function defined in main.cc */
-extern void error_exit(const char *file_name, int line_no);
void* case_element_iterator_c::handle_case_element(symbol_c *case_element) {