diff options
| author | Karl Berry <karl@freefriends.org> | 2021-07-25 16:07:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2021-07-25 16:07:08 +0000 |
| commit | 58f97acc491936eb759faf84558cb30df19cd953 (patch) | |
| tree | 2d8b0c9425a25c607001925e87e7792c5c9e69c6 /Build/source/texk/web2c/tex.ch | |
| parent | 928b83b722b1048785ac733f2ab971c842e165a4 (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.ch | 3 |
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|@>; |