diff -p -up source/texk/web2c/pdftexdir/pdftoepdf.cc.old source/texk/web2c/pdftexdir/pdftoepdf.cc --- source/texk/web2c/pdftexdir/pdftoepdf.cc.old 2009-05-19 15:29:39.000000000 +0200 +++ source/texk/web2c/pdftexdir/pdftoepdf.cc 2009-05-19 15:29:44.000000000 +0200 @@ -634,7 +634,7 @@ static void writeEncodings() } for (r = encodingList; r != 0; r = n) { n = r->next; - delete r->font; +// delete r->font; delete r; } }