From 37b4ceb098f0b832d7556989ed55e220a6498827 Mon Sep 17 00:00:00 2001
From: notmasteryet <async.processingjs@yahoo.com>
Date: Sat, 12 Nov 2011 11:10:49 -0600
Subject: [PATCH] fix lint error

---
 src/core.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core.js b/src/core.js
index 43c059b56..c5f88b280 100644
--- 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) {