From e544fdf863bd58bb4ea7dcc9a785bd62f637ae53 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Mon, 8 May 2023 20:43:37 -0400
Subject: [PATCH] Fixed if intro issue

---
 verify.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verify.js b/verify.js
index 7de2bd4..1caee7c 100644
--- a/verify.js
+++ b/verify.js
@@ -169,7 +169,7 @@ function verifyIfIntro(node) {
     for (const name of parent.assumptions) {
         // Don't add antecedant assumption
         if (name != antecedant_name) {
-            node.add(name);
+            node.assumptions.add(name);
 
         }
     }