Fixed if intro issue

RAIRLab · May 9, 2023 · e544fdf · e544fdf
1 parent fdd5128
commit e544fdf
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);
 
         }
     }