diff options
| author | Marius <mariausol@gmail.com> | 2011-06-11 18:00:15 +0300 | 
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-06-11 18:00:15 +0300 | 
| commit | 510cb140d2e8baed13b8b27daa02f3ad2f5df3e1 (patch) | |
| tree | 180c914c5c27bcd130cd13098b426b03abd1a508 /tex/context/base/trac-inf.lua | |
| parent | 247a7c0fccc1f980a837daf19e0ef2be6102a18f (diff) | |
| download | context-510cb140d2e8baed13b8b27daa02f3ad2f5df3e1.tar.gz | |
beta 2011.06.11 16:45
Diffstat (limited to 'tex/context/base/trac-inf.lua')
| -rw-r--r-- | tex/context/base/trac-inf.lua | 4 | 
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 5719b953f..5d8ea3cf8 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/trac-inf.lua @@ -11,7 +11,7 @@ if not modules then modules = { } end modules ['trac-inf'] = {  -- get warnings about assignments. This is more efficient than using rawset  -- and rawget. -local format = string.format +local format, lower = string.format, string.lower  local clock = os.gettimeofday or os.clock -- should go in environment  local write_nl = texio.write_nl @@ -113,7 +113,7 @@ function statistics.show(reporter)          -- this code will move          local register = statistics.register          register("luatex banner", function() -            return string.lower(status.banner) +            return lower(status.banner)          end)          register("control sequences", function()              return format("%s of %s", status.cs_count, status.hash_size+status.hash_extra)  | 
