From f3728603a916577d3a71b20ff76407e22c1781bc Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Mon, 28 Dec 2015 07:35:37 -0500
Subject: [PATCH] Remove unused variable

---
 unpacked/jax/output/NativeMML/jax.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/unpacked/jax/output/NativeMML/jax.js b/unpacked/jax/output/NativeMML/jax.js
index 3d444f745..8b43012a9 100644
--- a/unpacked/jax/output/NativeMML/jax.js
+++ b/unpacked/jax/output/NativeMML/jax.js
@@ -1353,7 +1353,6 @@
       nMML.msieIE8HeightBug = (mode === 8);
     },
     Opera: function (browser) {
-      nMML.operaPositionBug = true;
       nMML.stretchyMoBug = true;
       nMML.tableLabelBug = true;
       nMML.mfencedBug = true;