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 dc257292ea03491e49343453894ec7e67e34474b..511ad9cb0962b90a82be7fec46411decacdb2924 100644 (file)
--- 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)),