diff options
Diffstat (limited to 'Build/source/texk/web2c/pktogf.ch')
-rw-r--r-- | Build/source/texk/web2c/pktogf.ch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pktogf.ch b/Build/source/texk/web2c/pktogf.ch index 70584ae6caa..aa4ead80631 100644 --- a/Build/source/texk/web2c/pktogf.ch +++ b/Build/source/texk/web2c/pktogf.ch @@ -93,6 +93,13 @@ end; end @z +@x [10] Pascal Web's char +@d text_char == char {the data type of characters in text files} +@y +@d char == 0..255 +@d text_char == char {the data type of characters in text files} +@z + @x [30] Remove an unused variable (de-linting) function pk_packed_num : integer ; var i, j, k : integer ; |