diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/mapfile.c')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/mapfile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/mapfile.c b/Build/source/texk/web2c/pdftexdir/mapfile.c index f19c4dde883..e0851e1f2a1 100644 --- a/Build/source/texk/web2c/pdftexdir/mapfile.c +++ b/Build/source/texk/web2c/pdftexdir/mapfile.c @@ -801,7 +801,7 @@ void pdfmapline(integer t) flushstr(lasttokensstring); } -void pdfinitmapfile(string map_name) +void pdfinitmapfile(const_string map_name) { assert(mitem == NULL); mitem = xtalloc(1, mapitem); |