diff options
author | Hans Hagen <pragma@wxs.nl> | 2011-06-11 16:45:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2011-06-11 16:45:00 +0200 |
commit | 755ec706c4e4e4eb6315e2f2f9f2cfc0eed439aa (patch) | |
tree | bf11f5401e488605ba1bfdf533f5baca711bf06e /tex/context/base/trac-inf.lua | |
parent | 513177ada9eb9b29f01e3ff34de1338ddb66f617 (diff) | |
download | context-755ec706c4e4e4eb6315e2f2f9f2cfc0eed439aa.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) |