flatten add children bug fix

QuMuLab · Sep 21, 2021 · 98e22b1 · 98e22b1
1 parent 667a886
commit 98e22b1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/nnf/__init__.py b/nnf/__init__.py
@@ -1744,7 +1744,7 @@ def flatten(nnf: NNF, operator_type: t.Union[And, Or]):
             elif type(c) == operator_type:
                 set_and_children.update(c.children)
             else:
-                set_other.update(c)    
+                set_other.add(c)    
         nnf = operator_type(set_and_children | set_other)
 
         for c in nnf.children:
@@ -1919,7 +1919,7 @@ def __call__(self, **settings: str) -> _ConfigContext:
 #test nnf nesting - both and's and or's
 print()
 nnf_formula = Var(1)
-for i in range(10):
+for i in range(3):
     nnf_formula = nnf_formula & (Var(i) | Var(i + 1))
 print(nnf_formula)
 print()