From 4cf38304ac3ce1af0c53cde79bfeee1da8a77033 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Fri, 14 Feb 2014 09:04:51 -0500 Subject: [PATCH] Remove unneeded comment --- unpacked/jax/input/TeX/jax.js | 1 - 1 file changed, 1 deletion(-) diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 911e74c9e..a0c87f71a 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -1672,7 +1672,6 @@ } else { if (n) {this.Push(MML.mspace().With({depth:n}))} this.Push(MML.mspace().With({linebreak:MML.LINEBREAK.NEWLINE})); -// this.Push(MML.mo()); // make sure we don't look like an embellished operator (#707) } }, emPerInch: 7.2,