diff options
Diffstat (limited to 'tex/context/base/supp-mrk.tex')
| -rw-r--r-- | tex/context/base/supp-mrk.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tex/context/base/supp-mrk.tex b/tex/context/base/supp-mrk.tex index 0cab213c4..eb03b5251 100644 --- a/tex/context/base/supp-mrk.tex +++ b/tex/context/base/supp-mrk.tex @@ -411,9 +411,11 @@ \normalmarks#1{#2}} \def\setnormalmark#1#2% using a tok prevents unwanted expansion in mark - {\scratchtoks{#2}% + {\begingroup % don't ask why, but grouping is needed + \scratchtoks{#2}% in order to to mess up scratchtoks \@EA\xdef\csname\@@crk\string#1\endcsname{\the\scratchtoks}% - \normalmarks#1{\the\scratchtoks}} % one level expansion + \normalmarks#1{\the\scratchtoks}% one level expansion + \endgroup} \def\checktopmark#1% {%\writestatus{marks}{checking \string#1}\wait |