diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index e38b8f5a7..1bb578955 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1867,7 +1867,6 @@ // // Make row of open, data, sep, ... data, close // - this.addFakeNodes(); this.CHTMLaddChild(node,"open",{}); for (var i = 0, m = this.data.length; i < m; i++) { this.CHTMLaddChild(node,"sep"+i,{});