1 diff --git a/texk/ptexenc/ptexenc.c b/texk/ptexenc/ptexenc.c
2 index 4e81dbee7c..3c98d68125 100644
3 --- a/texk/ptexenc/ptexenc.c
4 +++ b/texk/ptexenc/ptexenc.c
5 @@ -1044,7 +1044,9 @@ long input_line2(FILE *fp, unsigned char *buff, unsigned char *buff2,
6 enc = ptenc_guess_enc(fp);
7 if (string_to_enc(enc) > 0) {
8 infile_enc[fd] = string_to_enc(enc);
10 fprintf(stderr, "(guessed encoding #%d: %s = %s)", fd, enc, enc_to_string(infile_enc[fd]));
13 infile_enc[fd] = get_file_enc();