From 9f7e9917e5e3291e390ec052736f6e171e1585f0 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 30 Aug 2016 10:37:02 -0400
Subject: [PATCH] Make variables local that were inadvertantly global.

---
 unpacked/jax/output/CommonHTML/jax.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 6736d703f..e95b2ff2c 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -389,7 +389,7 @@
     
     preTranslate: function (state) {
       var scripts = state.jax[this.id], i, m = scripts.length,
-          script, prev, node, jax, ex, em;
+          script, prev, node, test, span, jax, ex, em;
       //
       //  Get linebreaking information
       //