diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-12-24 21:10:09 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-12-24 21:10:09 +0100 |
commit | d40e81dea53da7bbc91df306814003f7720a167f (patch) | |
tree | 8aed8a716370cac0d04145a72405c1beed11b94d /tex/context/base/mkiv/l-os.lua | |
parent | d1f4da02201fd33c139ee1756296e8df53580ff7 (diff) | |
download | context-d40e81dea53da7bbc91df306814003f7720a167f.tar.gz |
2019-12-24 19:54:00
Diffstat (limited to 'tex/context/base/mkiv/l-os.lua')
-rw-r--r-- | tex/context/base/mkiv/l-os.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/l-os.lua b/tex/context/base/mkiv/l-os.lua index aa04e254d..8394d19e7 100644 --- a/tex/context/base/mkiv/l-os.lua +++ b/tex/context/base/mkiv/l-os.lua @@ -30,7 +30,7 @@ local date, time = os.date, os.time local find, format, gsub, upper, gmatch = string.find, string.format, string.gsub, string.upper, string.gmatch local concat = table.concat local random, ceil, randomseed = math.random, math.ceil, math.randomseed -local rawget, rawset, type, getmetatable, setmetatable, tonumber, tostring = rawget, rawset, type, getmetatable, setmetatable, tonumber, tostring +local type, setmetatable, tonumber, tostring = type, setmetatable, tonumber, tostring -- This check needs to happen real early on. Todo: we can pick it up from the commandline -- if we pass --binpath= (which is useful anyway) |