From f1f109b586d52251c6ba4b6ebdd651b22ec49333 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Fri, 7 Feb 2014 09:39:56 -0500
Subject: [PATCH] Remove redundent check (if span is null, then div will be
 null, so only need to check for div).  Issue #730.

---
 unpacked/jax/output/HTML-CSS/jax.js | 2 +-
 unpacked/jax/output/SVG/jax.js      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index ba2447e34..676a034cd 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -580,7 +580,7 @@
       var jax = script.MathJax.elementJax, math = jax.root,
           span = document.getElementById(jax.inputID+"-Frame"),
           div = (jax.HTMLCSS.display ? (span||{}).parentNode : span);
-      if (!span || !div) return;
+      if (!div) return;
       //
       //  Set the font metrics
       //
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
index 6c46ee18a..389386e91 100644
--- a/unpacked/jax/output/SVG/jax.js
+++ b/unpacked/jax/output/SVG/jax.js
@@ -290,7 +290,7 @@
       var jax = script.MathJax.elementJax, math = jax.root,
           span = document.getElementById(jax.inputID+"-Frame"),
           div = (jax.SVG.display ? (span||{}).parentNode : span);
-      if (!span || !div) return;
+      if (!div) return;
       //
       //  Set the font metrics
       //