From 4c06d67673351754adb9da86b2c1d8c13c49e382 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Mon, 3 Aug 2015 18:16:12 -0400
Subject: [PATCH] Make childCore use data[0].Core() if there is an inferred row
 (so that it matches Parent() in skipping inferred rows). Resolves issue
 #1231.

---
 unpacked/jax/element/mml/jax.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/element/mml/jax.js b/unpacked/jax/element/mml/jax.js
index 7a520cacd..55e037c1a 100644
--- a/unpacked/jax/element/mml/jax.js
+++ b/unpacked/jax/element/mml/jax.js
@@ -409,7 +409,7 @@ MathJax.ElementJax.mml.Augment({
     },
     array: function () {if (this.inferred) {return this.data} else {return [this]}},
     toString: function () {return this.type+"("+this.data.join(",")+")"},
-    getAnnotation: function () { return null; }
+    getAnnotation: function () {return null}
   },{
     childrenSpacelike: function () {
       for (var i = 0, m = this.data.length; i < m; i++)
@@ -419,7 +419,7 @@ MathJax.ElementJax.mml.Augment({
     childEmbellished: function () {
       return (this.data[0] && this.data[0].isEmbellished());
     },
-    childCore: function () {return this.data[0]},
+    childCore: function () {return (this.inferRow && this.data[0] ? this.data[0].Core() : this.data[0])},
     childCoreMO: function () {return (this.data[0] ? this.data[0].CoreMO() : null)},
     setChildTeXclass: function (prev) {
       if (this.data[0]) {