summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/alephdir/com16bit.ch
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-01-29 00:14:20 +0000
committerKarl Berry <karl@freefriends.org>2017-01-29 00:14:20 +0000
commit945fc4d8555aae2c8de7f15c7918ce12fb9a115e (patch)
treee16504a747bb66cac7e939595e1ef3b7194e02ac /Build/source/texk/web2c/alephdir/com16bit.ch
parent4720ed76d9898f014624c64c15ac73a35a757495 (diff)
do not refer to nonexistent pool files in error message
git-svn-id: svn://tug.org/texlive/trunk@43077 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/alephdir/com16bit.ch')
-rw-r--r--Build/source/texk/web2c/alephdir/com16bit.ch3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/alephdir/com16bit.ch b/Build/source/texk/web2c/alephdir/com16bit.ch
index 05f4e911004..f19d14e65d0 100644
--- a/Build/source/texk/web2c/alephdir/com16bit.ch
+++ b/Build/source/texk/web2c/alephdir/com16bit.ch
@@ -2177,7 +2177,8 @@ undump_int(x);
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), ' doesn''t match ', pool_name);
+ wterm_ln('---! ', stringcast(name_of_file+1),
+ 'made by different executable version');
goto bad_fmt;
end;
undump_int(x);