main.cc
changeset 374 01068ccb73b2
parent 370 f3cec8694f65
child 516 8591746fa134
equal deleted inserted replaced
373:7af3b6bed2dd 374:01068ccb73b2
    74 #include "absyntax/absyntax.hh"  // symbol_c type
    74 #include "absyntax/absyntax.hh"  // symbol_c type
    75 
    75 
    76 /* A macro for printing out internal parser errors... */
    76 /* A macro for printing out internal parser errors... */
    77 #include <iostream> // required for std::cerr
    77 #include <iostream> // required for std::cerr
    78 
    78 
       
    79 #ifndef HGVERSION
       
    80 #define HGVERSION ""
       
    81 #endif
    79 
    82 
    80 #define ERROR          error_exit(__FILE__,__LINE__)
    83 #define ERROR          error_exit(__FILE__,__LINE__)
    81 void error_exit(const char *file_name, int line_no) {
    84 void error_exit(const char *file_name, int line_no) {
    82   std::cerr << "\nInternal compiler error in file " << file_name
    85   std::cerr << "\nInternal compiler error in file " << file_name
    83             << " at line " << line_no << "\n";
    86             << " at line " << line_no << "\n";