summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/tex.ch
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-07-25 16:07:08 +0000
committerKarl Berry <karl@freefriends.org>2021-07-25 16:07:08 +0000
commit58f97acc491936eb759faf84558cb30df19cd953 (patch)
tree2d8b0c9425a25c607001925e87e7792c5c9e69c6 /Build/source/texk/web2c/tex.ch
parent928b83b722b1048785ac733f2ab971c842e165a4 (diff)
restore "strings are different" change
git-svn-id: svn://tug.org/texlive/trunk@60053 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r--Build/source/texk/web2c/tex.ch3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch
index f281540a7da..d1da6a7b521 100644
--- a/Build/source/texk/web2c/tex.ch
+++ b/Build/source/texk/web2c/tex.ch
@@ -1,3 +1,4 @@
+% $Id$
% tex.ch for C compilation with web2c, derived from various other change files.
% By Tim Morgan, UC Irvine ICS Department, and many others.
%
@@ -3522,7 +3523,7 @@ format_debug('string pool checksum')(x);
if x<>@$ then begin {check that strings are the same}
wake_up_terminal;
wterm_ln('---! ', stringcast(name_of_file+1),
- ' made by different executable version');
+ ' made by different executable version, strings are different');
goto bad_fmt;
end;
@<Undump |xord|, |xchr|, and |xprn|@>;