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 6f24bd194c20e5fd5e52a5fbf4a90a37ebb029d3..eb9dce929183a17ac7994aa5c30aa7bfc538bcbc 100644 (file)
--- 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]