diff options
Diffstat (limited to 'tex/context/base/data-use.lua')
| -rw-r--r-- | tex/context/base/data-use.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/data-use.lua b/tex/context/base/data-use.lua index 3d2dbe190..75f2ebff2 100644 --- a/tex/context/base/data-use.lua +++ b/tex/context/base/data-use.lua @@ -56,7 +56,7 @@ statistics.register("used cache path", function() return caches.usedpaths() end -- experiment (code will move) -function statistics.save_fmt_status(texname,formatbanner,sourcefile) -- texname == formatname +function statistics.savefmtstatus(texname,formatbanner,sourcefile) -- texname == formatname local enginebanner = status.list().banner if formatbanner and enginebanner and sourcefile then local luvname = file.replacesuffix(texname,"luv") @@ -70,7 +70,7 @@ function statistics.save_fmt_status(texname,formatbanner,sourcefile) -- texname end end -function statistics.check_fmt_status(texname) +function statistics.checkfmtstatus(texname) local enginebanner = status.list().banner if enginebanner and texname then local luvname = file.replacesuffix(texname,"luv") |