Fixes https://bugzilla.mozilla.org/show_bug.cgi?id=894572.
@ -3184,7 +3184,8 @@ var Font = (function FontClosure() {
useTable = true;
// Continue the loop since there still may be a higher priority
// table.
} else if (platformId === 3 && encodingId === 1) {
} else if (platformId === 3 && encodingId === 1 &&
(!isSymbolicFont || !potentialTable)) {
if (!isSymbolicFont) {
canBreak = true;
@ -29,6 +29,7 @@
!scan-bad.pdf
!bug847420.pdf
!bug860632.pdf
!bug894572.pdf
!pdfjsbad1586.pdf
!freeculture.pdf
!pdfkit_compressed.pdf
@ -1106,6 +1106,13 @@
"lastPage": 1,
"type": "eq"
},
{ "id": "bug894572",
"file": "pdfs/bug894572.pdf",
"md5": "e54a6b0451939f685ed37e3d46e16158",
"rounds": 1,
"link": false,
{ "id": "issue1466",
"file": "pdfs/issue1466.pdf",
"md5": "8a8877432e5bb10cfd50d60488d947bb",