From 958d3ce99cb1f826a5dc336977fbd0d2cf4e21de Mon Sep 17 00:00:00 2001
From: Ryan Reilly <ryanreilly703@gmail.com>
Date: Sat, 27 Jan 2024 12:01:44 -0500
Subject: [PATCH] AEG-IO update

---
 src/AEG-IO.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/AEG-IO.ts b/src/AEG-IO.ts
index 25d42cf0..c3c08bc7 100644
--- a/src/AEG-IO.ts
+++ b/src/AEG-IO.ts
@@ -9,6 +9,7 @@ import {AtomNode} from "./AEG/AtomNode";
 import {CutNode} from "./AEG/CutNode";
 import {Ellipse} from "./AEG/Ellipse";
 import {Point} from "./AEG/Point";
+import {ProofModeMove} from "./Proof/ProofModeMove";
 import {ProofNode} from "./Proof/ProofNode";
 
 /**
@@ -45,7 +46,7 @@ interface atomObj {
  */
 interface proofNodeObj {
     tree: sheetObj;
-    appliedRule: string;
+    appliedRule: ProofModeMove;
 }
 
 /**