Fixing lint

14 years ago · a182431ac5
1 changed files with 1 additions and 1 deletions
--- a/src/core.js
+++ b/src/core.js
@ -481,7 +481,7 @@ var PDFDoc = (function pdfDoc() {
				@@ -481,7 +481,7 @@ var PDFDoc = (function pdfDoc() {
        throw 'No PDFJS.workerSrc specified';
      }

-      var worker
+      var worker;
      try {
        worker = new Worker(workerSrc);
      } catch (e) {