From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 5 Feb 2020 16:54:16 +0000 (+0000)
Subject: whitespace
X-Git-Tag: ls180-24jan2020~269
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb6cad612a197847f1e253fc0727cfff25f5aaad;p=ieee754fpu.git

whitespace
---

diff --git a/src/ieee754/part_cmp/formal/proof_equal.py b/src/ieee754/part_cmp/formal/proof_equal.py
index 42773118..52c688b5 100644
--- 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()
-            
+