changeset 596 | 4efb11e44065 |
parent 586 | b602f0459f17 |
child 608 | f5d942be991b |
--- 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.