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) |