whitespace

diff --git a/src/ieee754/part_cmp/formal/proof_equal.py b/src/ieee754/part_cmp/formal/proof_equal.py
index 427731184e120e2b308c1f1383d5ba893687c4a0..52c688b54f5d3797cf841ea8c06a24fa277b85a9 100644 (file)
--- a/src/ieee754/part_cmp/formal/proof_equal.py
+++ b/src/ieee754/part_cmp/formal/proof_equal.py
@@ -43,7 +43,6 @@ class EqualsDriver(Elaboratable):
             points[i*4+4] = gates[i]
         out = Signal(mwidth)
 
-        
         comb += [a.eq(AnyConst(width)),
                  b.eq(AnyConst(width)),
                  gates.eq(AnyConst(mwidth-1))]
@@ -89,7 +88,7 @@ class EqualsDriver(Elaboratable):
             with m.Case(0b111):
                 for i in range(mwidth-1):
                     comb += Assert(out[i] == (a_intervals[i] == b_intervals[i]))
-                
+
 
 
         comb += [dut.a.eq(a),
@@ -104,4 +103,4 @@ class PartitionedEqTestCase(FHDLTestCase):
 
 if __name__ == "__main__":
     unittest.main()
-            
+