diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-08-01 14:27:00 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-08-01 14:27:00 +0000 |
commit | d15614d79be6264bf014c5d5c4713280329fcae9 (patch) | |
tree | 23720ff104acbef78d9c7dbf39b3b73ec8f5a13e /Build/source/texk/web2c/gftopk.ch | |
parent | 2b48c58a3269e00f95e2769500c0230b2b7f397a (diff) |
Purge more 'goto' and 'jump_out' leftovers.
Editor's note: Trying to make the WEB changefiles fully represent the
actual codes as modified for Web2c/TeX Live is like opening a veritable
can of worms.
git-svn-id: svn://tug.org/texlive/trunk@56014 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/gftopk.ch')
-rw-r--r-- | Build/source/texk/web2c/gftopk.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/gftopk.ch b/Build/source/texk/web2c/gftopk.ch index 28f20a83b3a..8b9d7d2d9d0 100644 --- a/Build/source/texk/web2c/gftopk.ch +++ b/Build/source/texk/web2c/gftopk.ch @@ -91,7 +91,7 @@ so a procedure called |jump_out| has been introduced. This procedure, which simply transfers control to the label |final_end| at the end of the program, contains the only non-local |goto| statement in \.{GFtoPK}. @y -so a procedure called |jump_out| has been introduced. +so we might want to |abort| the program with an error message. @z @x @d abort(#)==begin print(' ',#); jump_out; |