diff options
Diffstat (limited to 'Build/source/texk/web2c/tangleboot.pin')
| -rw-r--r-- | Build/source/texk/web2c/tangleboot.pin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tangleboot.pin b/Build/source/texk/web2c/tangleboot.pin index 36e7da9de93..29746a7a266 100644 --- a/Build/source/texk/web2c/tangleboot.pin +++ b/Build/source/texk/web2c/tangleboot.pin @@ -1,7 +1,7 @@ {2:}{4:}{$C-,A+,D-}{[$C+,D+]} {:4}program TANGLE(webfile,changefile,Pascalfile,pool); const{8:}bufsize=1000;maxbytes=65535;maxtoks=65535;maxnames=10239; -maxtexts=10239;hashsize=353;longestname=400;linelength=72; +maxtexts=10239;hashsize=8501;longestname=400;linelength=72; outbufsize=144;stacksize=100;maxidlength=50;defunambiglength=32; {:8}type{11:}ASCIIcode=0..255; {:11}{12:}textfile=packed file of ASCIIcode;{:12}{37:}eightbits=0..255; |