From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 22 Jul 2020 14:53:00 +0000 (+0100)
Subject: whoops typo, 63-start not 3-start (doh)
X-Git-Tag: semi_working_ecp5~623
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d887377865fc1463adcb6a1b26a78677fac7413b;p=soc.git

whoops typo, 63-start not 3-start (doh)
---

diff --git a/src/soc/fu/trap/formal/proof_main_stage.py b/src/soc/fu/trap/formal/proof_main_stage.py
index 6f24bd19..eb9dce92 100644
--- a/src/soc/fu/trap/formal/proof_main_stage.py
+++ b/src/soc/fu/trap/formal/proof_main_stage.py
@@ -33,7 +33,7 @@ def field(r, start, end=None):
     the start and end bits use IBM conventions.  start < end.
     """
     if end is None:
-        return r[3-start]
+        return r[63-start]
     return r[63-end:64-start]