diff options
Diffstat (limited to 'tex/context/base/java-ini.tex')
| -rw-r--r-- | tex/context/base/java-ini.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/java-ini.tex b/tex/context/base/java-ini.tex index c8239e4a5..81054a5f5 100644 --- a/tex/context/base/java-ini.tex +++ b/tex/context/base/java-ini.tex @@ -288,7 +288,7 @@ \def\dodopresetJSrefvariables R#1\end% {\doifreferencefoundelse{#1} - {\donetrue\dododopresetJSvariables R{\referenceprefix#1}% + {\donetrue \dododopresetJSvariables R{\referenceprefix#1}% \donefalse\dododopresetJSvariables P{\currentrealreference}} {\unknownreference{#1}}% \ifminimalizeJScode \else |