diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptex-base.ch')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptex-base.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptex-base.ch b/Build/source/texk/web2c/ptexdir/ptex-base.ch index a7c4a2da015..c050f213643 100644 --- a/Build/source/texk/web2c/ptexdir/ptex-base.ch +++ b/Build/source/texk/web2c/ptexdir/ptex-base.ch @@ -337,7 +337,7 @@ if src_specials_p or file_line_error_style_p or parse_first_line_p then else wterm(banner); wterm(' ('); - wterm(stringcast(get_enc_string)); + wterm(conststringcast(get_enc_string)); wterm(')'); @z @@ -2617,7 +2617,7 @@ then else wlog(banner); wlog(' ('); - wlog(stringcast(get_enc_string)); + wlog(conststringcast(get_enc_string)); wlog(')'); @z |