diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebboot.cin')
-rw-r--r-- | Build/source/texk/web2c/cwebboot.cin | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/cwebboot.cin b/Build/source/texk/web2c/cwebboot.cin index cddf82e87bd..d354b6b23e1 100644 --- a/Build/source/texk/web2c/cwebboot.cin +++ b/Build/source/texk/web2c/cwebboot.cin @@ -253,7 +253,7 @@ extern name_pointer name_dir_end; extern name_pointer name_ptr; extern name_pointer hash[]; extern hash_pointer hash_end; -extern hash_pointer h; +extern hash_pointer hash_ptr; /*:10*//*12:*/ #line 213 "cwebdir/comm-w2c.h" @@ -367,7 +367,7 @@ name_pointer name_ptr; name_pointer hash[hash_size]; hash_pointer hash_end= hash+hash_size-1; -hash_pointer h; +hash_pointer hash_ptr; /*:46*//*65:*/ #line 1002 "cwebdir/common.w" @@ -515,7 +515,7 @@ root= NULL; /*:45*//*47:*/ #line 628 "cwebdir/common.w" -for(h= hash;h<=hash_end;*h++= NULL); +for(hash_ptr= hash;hash_ptr<=hash_end;*hash_ptr++= NULL); /*:47*/ #line 78 "cwebdir/comm-w2c.ch" |