From adb10a01aa76c1c23e60cc8495e2fa651c2c6717 Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Sat, 10 Jul 2021 12:47:40 +0200
Subject: [PATCH] Fix single step proof tree

---
 frontend/src/mathjax-proof-tree.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<SVGElement>("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;
             }