diff options
Diffstat (limited to 'Build/source/texk/web2c/vftovp.ch')
| -rw-r--r-- | Build/source/texk/web2c/vftovp.ch | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/vftovp.ch b/Build/source/texk/web2c/vftovp.ch index 91472325360..f972b51f148 100644 --- a/Build/source/texk/web2c/vftovp.ch +++ b/Build/source/texk/web2c/vftovp.ch @@ -658,14 +658,12 @@ incr (current_option); @<Type...@> = @!charcode_format_type = charcode_ascii..charcode_default; -@ -@<Const...@> = +@ @<Const...@> = @!charcode_ascii = 0; @!charcode_octal = 1; @!charcode_default = 2; -@ -@<Global...@> = +@ @<Global...@> = @!charcode_format: charcode_format_type; @ It starts off as the default, that is, we output letters and digits as |