diff options
Diffstat (limited to 'Build/source/texk/dvipsk/resident.c')
-rw-r--r-- | Build/source/texk/dvipsk/resident.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/resident.c b/Build/source/texk/dvipsk/resident.c index a82a801ed4e..474ef9a7e27 100644 --- a/Build/source/texk/dvipsk/resident.c +++ b/Build/source/texk/dvipsk/resident.c @@ -877,7 +877,7 @@ getpsinfo(const char *name) out what to do; couldn't do this above since we want to check the suffix. */ if (hdr_name) { - char *suffix = find_suffix (hdr_name); + const char *suffix = find_suffix (hdr_name); if (encoding_p || STREQ (suffix, "enc")) { /* (SPQR) if it is a reencoding, pass on to FontPart, and download as usual */ |