diff options
| author | Hans Hagen <pragma@wxs.nl> | 2010-10-13 00:33:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2010-10-13 00:33:00 +0200 |
| commit | fcf07c1267124f4c7db06460fa15a598677adab5 (patch) | |
| tree | 98551c6f471639009705759dc124cc7c0cb76f98 /tex/context/base/char-ini.lua | |
| parent | 407d9151f5473b20e9072473b80d0f591a3580a1 (diff) | |
| download | context-fcf07c1267124f4c7db06460fa15a598677adab5.tar.gz | |
beta 2010.10.13 00:33
Diffstat (limited to 'tex/context/base/char-ini.lua')
| -rw-r--r-- | tex/context/base/char-ini.lua | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tex/context/base/char-ini.lua b/tex/context/base/char-ini.lua index 369b4f2d2..a6b033b08 100644 --- a/tex/context/base/char-ini.lua +++ b/tex/context/base/char-ini.lua @@ -434,9 +434,9 @@ if texsetcatcode then end if tobelettered then -- shared - -- local saved = tex.catcodetable - -- for i=1,#tobelettered do - -- tex.catcodetable = tobelettered[i] + local saved = tex.catcodetable + for i=1,#tobelettered do + tex.catcodetable = tobelettered[i] if trace_defining then report_defining("defining letters (global, shared)") end @@ -452,8 +452,8 @@ if texsetcatcode then end texsetcatcode(0x200C,11) -- non-joiner texsetcatcode(0x200D,11) -- joiner - -- end - -- tex.catcodetable = saved + end + tex.catcodetable = saved end local nofactivated = #tobeactivated |