diff options
Diffstat (limited to 'tex/context/base/util-sto.lua')
| -rw-r--r-- | tex/context/base/util-sto.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/util-sto.lua b/tex/context/base/util-sto.lua index 8710f78af..4c0052f0e 100644 --- a/tex/context/base/util-sto.lua +++ b/tex/context/base/util-sto.lua @@ -14,8 +14,8 @@ local storage = utilities.storage function storage.mark(t) if not t then - texio.write_nl("fatal error: storage '%s' cannot be marked",t) - os.exit() + texio.write_nl("fatal error: storage cannot be marked") + return -- os.exit() end local m = getmetatable(t) if not m then @@ -44,8 +44,8 @@ end function storage.checked(t) if not t then - texio.write_nl("fatal error: storage '%s' has not been allocated",t) - os.exit() + texio.write_nl("fatal error: storage has not been allocated") + return -- os.exit() end return t end |