extern void print_sorry_message(void)
{ printf(
"***********************************************************************\n\
-* 'Compiler errors' should never occur if Inform is working properly. *\n\
-* This is version %d.%02d of Inform, dated %20s: so *\n\
-* if that was more than six months ago, there may be a more recent *\n\
-* version available, from which the problem may have been removed. *\n\
-* If not, please report this fault to: graham@gnelson.demon.co.uk *\n\
-* and if at all possible, please include your source code, as faults *\n\
-* such as these are rare and often difficult to reproduce. Sorry. *\n\
-***********************************************************************\n",
- (RELEASE_NUMBER/100)%10, RELEASE_NUMBER%100, RELEASE_DATE);
+Compiler errors should never occur if Inform is working properly.\n\
+Check to see if there is a more recent version available, from which\n\
+the problem may have been removed. If not, please report this fault\n\
+and if at all possible, please include your source code, as faults\n\
+such as these are rare and often difficult to reproduce. Sorry.\n\
+***********************************************************************\n");
}
extern int compiler_error(char *s)