/*4:*/ //line 63 "/usr/local/yacco2/externals/common_externs.w" #ifndef common_extern_ #define common_extern_ 1 //line 66 "/usr/local/yacco2/externals/common_externs.w" /*5:*/ //line 71 "/usr/local/yacco2/externals/common_externs.w" #include "globals.h" #include "/usr/local/yacco2/compiler/o2/o2_types.h" #include "o2_lcl_opts.h" #include "o2_lcl_opt.h" #include "o2_err_hdlr.h" extern void GET_CMD_LINE(int argc,char*argv[] ,const char*File,yacco2::TOKEN_GAGGLE&Errors); extern void DUMP_ERROR_QUEUE(yacco2::TOKEN_GAGGLE&Errors); extern const char*DATE_AND_TIME(); /*:5*/ //line 67 "/usr/local/yacco2/externals/common_externs.w" #endif /*:4*/