diff options
Diffstat (limited to 'tex/context/base/mkiv/data-use.lua')
-rw-r--r-- | tex/context/base/mkiv/data-use.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/data-use.lua b/tex/context/base/mkiv/data-use.lua index 7df416b65..a7ca2389e 100644 --- a/tex/context/base/mkiv/data-use.lua +++ b/tex/context/base/mkiv/data-use.lua @@ -68,7 +68,7 @@ statistics.register("used cache path", function() return caches.usedpaths() end -- experiment (code will move) -function statistics.savefmtstatus(texname,formatbanner,sourcefile,kind,banner) -- texname == formatname +function statistics.savefmtstatus(texname,formatbanner,sourcefile,banner) -- texname == formatname local enginebanner = status.banner if formatbanner and enginebanner and sourcefile then local luvname = file.replacesuffix(texname,"luv") -- utilities.lua.suffixes.luv |