From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 22 Jul 2020 14:42:23 +0000 (+0100)
Subject: syntax error
X-Git-Tag: semi_working_ecp5~625
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=14d7655b1afd1b4540b98f4ecc672c6ce0edfd3a;p=soc.git

syntax error
---

diff --git a/src/soc/fu/trap/formal/proof_main_stage.py b/src/soc/fu/trap/formal/proof_main_stage.py
index dc257292..511ad9cb 100644
--- a/src/soc/fu/trap/formal/proof_main_stage.py
+++ b/src/soc/fu/trap/formal/proof_main_stage.py
@@ -275,7 +275,7 @@ class Driver(Elaboratable):
                 comb += [
                     Assert(field(msr_o, 0, 2) == field(srr1_i, 0, 2)),
                     Assert(field(msr_o, 4, 28) == field(srr1_i, 4, 28)),
-                    Assert(field(msr_o, 32) == field(srr1_i, 32),
+                    Assert(field(msr_o, 32) == field(srr1_i, 32)),
                     Assert(field(msr_o, 37, 41) == field(srr1_i, 37, 41)),
                     Assert(field(msr_o, 49, 50) == field(srr1_i, 49, 50)),
                     Assert(field(msr_o, 52, 57) == field(srr1_i, 52, 57)),