diff --git a/frontend/src/mathjax-proof-tree.ts b/frontend/src/mathjax-proof-tree.ts index 81c2f6c..040352e 100644 --- a/frontend/src/mathjax-proof-tree.ts +++ b/frontend/src/mathjax-proof-tree.ts @@ -62,7 +62,7 @@ class MathjaxProofTree extends MathjaxAdapter { if (this.shadowRoot !== null) { console.time('stepCalculation'); const svg = this.shadowRoot.querySelector("svg")!; - let root = this.shadowRoot.querySelector("#typicalc-prooftree")!.parentNode! as SVGElement; + let root = this.shadowRoot.querySelector("#typicalc-prooftree")! as SVGElement; while (!root.getAttribute("semantics")) { root = root.parentNode! as SVGElement; }