diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-12-15 19:13:44 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-15 19:13:44 +0100 |
commit | 8f472c629a996f1c08281198210354a253d7f56b (patch) | |
tree | 26f5fa0bda520d7ea9e87947df6978b9085a7d58 /tex/context/base/mkxl/buff-ver.mkxl | |
parent | 3bdc9b9072bba774cd5c604fe185d39ddbdc911e (diff) | |
download | context-8f472c629a996f1c08281198210354a253d7f56b.tar.gz |
2022-12-15 17:52:00
Diffstat (limited to 'tex/context/base/mkxl/buff-ver.mkxl')
-rw-r--r-- | tex/context/base/mkxl/buff-ver.mkxl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/mkxl/buff-ver.mkxl b/tex/context/base/mkxl/buff-ver.mkxl index ec7ef5fc3..6fef148f1 100644 --- a/tex/context/base/mkxl/buff-ver.mkxl +++ b/tex/context/base/mkxl/buff-ver.mkxl @@ -582,7 +582,7 @@ % [category] [settings] {name} % for historic reasons, all filenames are {} -\mutable\let\currenttypingfile\empty +\mutable\lettonothing\currenttypingfile \appendtoks \frozen\protected\instance\edefcsname\e!type\currenttyping\v!file\endcsname{\typefile[\currenttyping]}% @@ -846,7 +846,7 @@ {\dontleavehmode \begingroup \enforced\let\setupcurrenttyping\setupcurrenttype % a terrible hack but it saves code - \let\currenttype\empty + \lettonothing\currenttype \ifparameters \buff_verbatim_type_buffer_indeed_inline\currenttyping\empty% [] \or |