fix lint error

diff --git a/src/core.js b/src/core.js
index 43c059b5634f7ef8b2e3fa4071660b28ebe92d87..c5f88b280c4996c5f83b9a7b2e926b32b88435e9 100644 (file)
--- a/src/core.js
+++ b/src/core.js
@@ -481,7 +481,7 @@ var PDFDoc = (function pdfDoc() {
         throw 'No PDFJS.workerSrc specified';
       }
 
-      var worker
+      var worker;
       try {
         worker = new Worker(workerSrc);
       } catch (e) {