line-up, whitespace

diff --git a/src/ieee754/fpmax/formal/proof_fmax_mod.py b/src/ieee754/fpmax/formal/proof_fmax_mod.py
index b16b5e0b9ba6be05c2fbae9d027f9106118d851c..abaa2d860b57cf88f71ba145d91f1def61a6a85a 100644 (file)
--- a/src/ieee754/fpmax/formal/proof_fmax_mod.py
+++ b/src/ieee754/fpmax/formal/proof_fmax_mod.py
@@ -41,7 +41,9 @@ class FPMAXDriver(Elaboratable):
                      b1.v.eq(self.b),
                      z1.v.eq(self.z)]
 
-        m.d.comb += Assert((z1.v == a1.v) | (z1.v == b1.v) | (z1.v == a1.fp.nan2(0)))
+        m.d.comb += Assert((z1.v == a1.v) | \
+                           (z1.v == b1.v) | \
+                           (z1.v == a1.fp.nan2(0)))
 
         with m.If(a1.is_nan & b1.is_nan):
             m.d.comb += Assert(z1.is_nan)