Merge pull request #4 from James-Oswald/issue_3

Fixed if intro issue
RAIRLab · May 9, 2023 · 424628c · 424628c
2 parents fdd5128 + e544fdf
commit 424628c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
 
         }
     }