diff options
Diffstat (limited to 'Build/source/texk/web2c/xetexdir/char-warning-xetex.ch')
-rw-r--r-- | Build/source/texk/web2c/xetexdir/char-warning-xetex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/xetexdir/char-warning-xetex.ch b/Build/source/texk/web2c/xetexdir/char-warning-xetex.ch index 246c0489ce5..55f0d8ff1bf 100644 --- a/Build/source/texk/web2c/xetexdir/char-warning-xetex.ch +++ b/Build/source/texk/web2c/xetexdir/char-warning-xetex.ch @@ -34,7 +34,7 @@ begin if tracing_lost_chars>0 then end; end; @y -procedure print_ucs_code(@!n: UnicodeScalar); { cf. print_hex } +procedure print_ucs_code(@!n: UnicodeScalar); { cf.~|print_hex| } var k: 0..22; {index to current digit; we assume that $0\L n<16^{22}$} begin k := 0; |