Commits

tomo cocoa  committed f88d353

fixed display bugs

  • Participants
  • Parent commits d11c3dc

Comments (0)

Files changed (1)

File logics/prop.py

         else:
             right = '({0})'.format(self.right)
 
-        return '({0}) => ({1})'.format(left, right)
+        return '{0} => {1}'.format(left, right)
 
     def __repr__(self):
         return '<logics.prop.IfThen expr: {0}>'.format(str(self))
         else:
             right = '({0})'.format(self.right)
 
-        return '({0}) <=> ({1})'.format(left, right)
+        return '{0} <=> {1}'.format(left, right)
 
     def __repr__(self):
         return '<logics.prop.Iff expr: {0}>'.format(str(self))
         else:
             right = '({0})'.format(self.right)
 
-        return '({0}) ^ ({1})'.format(left, right)
+        return '{0} ^ {1}'.format(left, right)
 
     def __repr__(self):
         return '<logics.prop.Xor expr: {0}>'.format(str(self))