summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mf.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/mf.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/mf.ch')
-rw-r--r--Build/source/texk/web2c/mf.ch3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mf.ch b/Build/source/texk/web2c/mf.ch
index 7d122e54827..415218f2943 100644
--- a/Build/source/texk/web2c/mf.ch
+++ b/Build/source/texk/web2c/mf.ch
@@ -1812,7 +1812,8 @@ libc_free(base_engine);
undump_int(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 off_base;
end;
@<Undump |xord|, |xchr|, and |xprn|@>;