summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/tangleboot.pin
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/tangleboot.pin')
-rw-r--r--Build/source/texk/web2c/tangleboot.pin2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tangleboot.pin b/Build/source/texk/web2c/tangleboot.pin
index d0cceafb590..b0709eeb67a 100644
--- a/Build/source/texk/web2c/tangleboot.pin
+++ b/Build/source/texk/web2c/tangleboot.pin
@@ -45,7 +45,7 @@ scanninghex:boolean;{:143}{156:}nextcontrol:eightbits;
{:156}{164:}currepltext:textpointer;{:164}{171:}modulecount:0..12287;
{:171}{179:}{troubleshooting:boolean;ddt:integer;dd:integer;
debugcycle:integer;debugskipped:integer;}{:179}{185:}{wo:0..2;}
-{:185}{199:}webname,chgname,pascalname,poolname:cstring;
+{:185}{199:}webname,chgname,pascalname,poolname:constcstring;
forceuppercase,forcelowercase,allowunderlines,strictmode:boolean;
unambiglength:0..maxidlength;{:199}{30:}{procedure debughelp;forward;}
{:30}{31:}procedure error;var j:0..outbufsize;k,l:0..bufsize;