diff options
Diffstat (limited to 'Build/source/texk/web2c/gftype.ch')
-rw-r--r-- | Build/source/texk/web2c/gftype.ch | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/gftype.ch b/Build/source/texk/web2c/gftype.ch index a0fa00b686d..143fbb0f5eb 100644 --- a/Build/source/texk/web2c/gftype.ch +++ b/Build/source/texk/web2c/gftype.ch @@ -135,11 +135,13 @@ image_array := nil; @z @x [7] Purge 'final_end' label. +Such errors might be discovered inside of subroutines inside of subroutines, 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 \.{GFtype}. @y -so a procedure called |jump_out| has been introduced. +Such errors might be discovered inside of subroutines inside of subroutines, +so we might want to |abort| the program with an error message. @z @x [7] Remove jump_out, and make `abort' end with a newline. |