equal
deleted
inserted
replaced
80 /* tell stdint.h we want the definition of UINT64_MAX */ |
80 /* tell stdint.h we want the definition of UINT64_MAX */ |
81 #define __STDC_LIMIT_MACROS |
81 #define __STDC_LIMIT_MACROS |
82 #include <stdint.h> // get definition of uint64_t and UINT64_MAX |
82 #include <stdint.h> // get definition of uint64_t and UINT64_MAX |
83 #include <errno.h> |
83 #include <errno.h> |
84 |
84 |
85 |
85 #include "../main.hh" // required for ERROR() and ERROR_MSG() macros. |
86 #define ERROR error_exit(__FILE__,__LINE__) |
86 |
87 /* function defined in main.cc */ |
|
88 extern void error_exit(const char *file_name, int line_no); |
|
89 |
87 |
90 |
88 |
91 /* This class is a singleton. |
89 /* This class is a singleton. |
92 * So we need a pointer to the singe instance... |
90 * So we need a pointer to the singe instance... |
93 */ |
91 */ |