Remove unneeded check for mspace since they are no longer used

dpvc · dpvc · commit a8dbfcd36d8e · 2026-04-09T08:09:14.000-04:00
diff --git a/ts/input/tex/bussproofs/BussproofsUtil.ts b/ts/input/tex/bussproofs/BussproofsUtil.ts
@@ -214,11 +214,8 @@ const getSpaces = function (
     return result;
   }
   if (inf !== rule.parent) {
-    const children = inf.childNodes;
-    const index = right ? children.length - 1 : 0;
-    if (NodeUtil.isType(children[index], 'mspace')) {
-      result += getBBox(children[index]);
-    }
+    result +=
+      (inf.getProperty(right ? 'proof-right' : 'proof-left') as number) || 0;
     inf = rule.parent;
   }
   if (inf === rule) {

Original file line number	Diff line number	Diff line change
`@@ -214,11 +214,8 @@ const getSpaces = function (`
`214`	`214`	`return result;`
`215`	`215`	`}`
`216`	`216`	`if (inf !== rule.parent) {`
`217`		`- const children = inf.childNodes;`
`218`		`- const index = right ? children.length - 1 : 0;`
`219`		`- if (NodeUtil.isType(children[index], 'mspace')) {`
`220`		`- result += getBBox(children[index]);`
`221`		`- }`
	`217`	`+ result +=`
	`218`	`+ (inf.getProperty(right ? 'proof-right' : 'proof-left') as number) \|\| 0;`
`222`	`219`	`inf = rule.parent;`
`223`	`220`	`}`
`224`	`221`	`if (inf === rule) {`