Update to commit b83e48657bac55e4137c225318c0d80d3953d5c9 dated August 15, 2020....

[inform.git] / src / errors.c

diff --git a/src/errors.c b/src/errors.c
index b76aa7d5658dbe9398b75280a5d9e228259ac73f..d13039890700112fc767ad8b63a7931833ac07df 100644 (file)
--- a/src/errors.c
+++ b/src/errors.c
@@ -2,7 +2,7 @@
 /*   "errors" : Warnings, errors and fatal errors                            */
 /*              (with error throwback code for RISC OS machines)             */
 /*                                                                           */
-/* Copyright (c) Graham Nelson 1993 - 2018                                   */
+/* Copyright (c) Graham Nelson 1993 - 2020                                   */
 /*                                                                           */
 /* This file is part of Inform.                                              */
 /*                                                                           */
@@ -397,13 +397,11 @@ extern void link_error_named(char *s1, char *s2)
 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\
+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",
     (RELEASE_NUMBER/100)%10, RELEASE_NUMBER%100, RELEASE_DATE);
 }