summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/gftopk.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/gftopk.ch')
-rw-r--r--Build/source/texk/web2c/gftopk.ch2
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;