From 14d7655b1afd1b4540b98f4ecc672c6ce0edfd3a Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 22 Jul 2020 15:42:23 +0100 Subject: [PATCH] syntax error --- src/soc/fu/trap/formal/proof_main_stage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)), -- 2.30.2