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