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