From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 28 Jan 2020 21:32:40 +0000 (+0000)
Subject: line-up, whitespace
X-Git-Tag: ls180-24jan2020~312
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4a6c5afb3ef0e801563206e219dc9f0b8b81e70;p=ieee754fpu.git

line-up, whitespace
---

diff --git a/src/ieee754/fpmax/formal/proof_fmax_mod.py b/src/ieee754/fpmax/formal/proof_fmax_mod.py
index b16b5e0b..abaa2d86 100644
--- 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)