From 6e4283fc4535c55ddd676e8adcdb79b0de8d4404 Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <nnethercote@mozilla.com>
Date: Sun, 2 Mar 2014 22:50:37 -0800
Subject: [PATCH] Remove unneeded |oldtypes| variable from bidi.js.

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

diff --git a/src/core/bidi.js b/src/core/bidi.js
index 2d7fd9407..01a5aa373 100644
--- a/src/core/bidi.js
+++ b/src/core/bidi.js
@@ -154,7 +154,6 @@ var bidi = PDFJS.bidi = (function bidiClosure() {
 
     var chars = [];
     var types = [];
-    var oldtypes = [];
     var numBidi = 0;
 
     for (var i = 0; i < strLength; ++i) {
@@ -174,7 +173,7 @@ var bidi = PDFJS.bidi = (function bidiClosure() {
       if (charType == 'R' || charType == 'AL' || charType == 'AN')
         numBidi++;
 
-      oldtypes[i] = types[i] = charType;
+      types[i] = charType;
     }
 
     // detect the bidi method