diff options
| -rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 7bcd03e5600..8a8ac8d6ed2 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -8955,7 +8955,6 @@ the variables |p| and |q| are reserved for token-list building. @ @<Manufacture a control...@>= begin r:=get_avail; p:=r; {head of the list of characters} b := is_in_csname; is_in_csname := true; -is_in_csname := true; repeat get_x_token; if cur_cs=0 then store_new_token(cur_tok); until cur_cs<>0; |