diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch b/Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch index 828ebfcc3cf..4772d29494b 100644 --- a/Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch +++ b/Build/source/texk/web2c/pdftexdir/char-warning-pdftex.ch @@ -14,7 +14,7 @@ % should get: % ! Missing character: There is no c ("63) in font logo10. -@x [30] If \tracinglostchars > 2, then promote full errors. +@x [30] If \tracinglostchars > 2, then promote to full error. @p procedure char_warning(@!f:internal_font_number;@!c:eight_bits); var old_setting: integer; {saved value of |tracing_online|} begin if tracing_lost_chars>0 then |