diff -r c41975a290ce -r 4efb11e44065 absyntax_utils/get_sizeof_datatype.cc
--- a/absyntax_utils/get_sizeof_datatype.cc	Thu Jun 14 17:50:37 2012 +0100
+++ b/absyntax_utils/get_sizeof_datatype.cc	Fri Jun 15 19:54:33 2012 +0100
@@ -82,10 +82,8 @@
 #include <stdint.h>  // get definition of uint64_t and UINT64_MAX
 #include <errno.h>
 
-
-#define ERROR error_exit(__FILE__,__LINE__)
-/* function defined in main.cc */
-extern void error_exit(const char *file_name, int line_no);
+#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.
+
 
 
 /* This class is a singleton.