AEG-IO update

RAIRLab · Jan 27, 2024 · 958d3ce · 958d3ce
1 parent 8aca11f
commit 958d3ce
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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;
 }
 
 /**