diff options
Diffstat (limited to 'Build/source/texk/web2c/pktype.ch')
-rw-r--r-- | Build/source/texk/web2c/pktype.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pktype.ch b/Build/source/texk/web2c/pktype.ch index 96096eddc95..c8c0d59108a 100644 --- a/Build/source/texk/web2c/pktype.ch +++ b/Build/source/texk/web2c/pktype.ch @@ -60,7 +60,7 @@ begin @<Labels...@>=final_end; @y @ This module is deleted, because it is only useful for -a non-local goto, which we don't use in C. +a non-local |goto|, which we don't use in C. @z % [6] No need for |name_length| or |terminal_line_length|. Since these |