do not use range(0, x) - just range(x)

diff --git a/src/soc/regfile/formal/proof_regfile.py b/src/soc/regfile/formal/proof_regfile.py
index 4e9ed2652b2e292eec1fcec8155028b539dbf14d..38f18479c007e86e3e7c8a57c528d708a51dd2e5 100644 (file)
--- a/src/soc/regfile/formal/proof_regfile.py
+++ b/src/soc/regfile/formal/proof_regfile.py
@@ -31,7 +31,7 @@ class Driver(Register):
 
         comb += reg.eq(AnyConst(8))
 
-        for i in range(0,len(_rdports)):
+        for i in range(len(_rdports)):
             with m.If(_rdports[i].ren & writethru):
                 with m.If(_wrports[i].wen):
                     comb += Assert(_rdports[i].data_o == _wrports[i].data_i)