Fix string font names.

diff --git a/src/evaluator.js b/src/evaluator.js
index e34787e412536411a42eea4ee5d90903c6174c22..64b5b36349b0da25d4d3751a4aa423575123c0d0 100644 (file)
--- a/src/evaluator.js
+++ b/src/evaluator.js
@@ -807,6 +807,9 @@ var PartialEvaluator = (function PartialEvaluatorClosure() {
       var firstChar = xref.fetchIfRef(dict.get('FirstChar')) || 0;
       var lastChar = xref.fetchIfRef(dict.get('LastChar')) || maxCharIndex;
       var fontName = xref.fetchIfRef(descriptor.get('FontName'));
+      // Some bad pdf's have a string as the font name.
+      if (isString(fontName))
+        fontName = new Name(fontName);
       assertWellFormed(isName(fontName), 'invalid font name');
 
       var fontFile = descriptor.get('FontFile', 'FontFile2', 'FontFile3');