typo in normalization, fixes #6

ivan-gavran · Mar 19, 2019 · 3df39f6 · 3df39f6
1 parent 521afb2
commit 3df39f6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/flie/utils/SimpleTree.py b/flie/utils/SimpleTree.py
@@ -115,6 +115,7 @@ def __lt__(self, other):
     """
     @classmethod
     def normalize(cls, f):
+
         if f is None:
             return None
         if f._isLeaf():
@@ -145,7 +146,7 @@ def normalize(cls, f):
                 if f.label in ['|',  "->", 'U']:
                     return Formula("true")
                 if f.label in ["&"]:
-                    return Formula.normalize(fRight)
+                    return Formula.normalize(fLeft)
 
             if fRight.label == "false":
                 if f.label in []: