diff --git a/riscvmodel/variant.py b/riscvmodel/variant.py index 9ccfcdd..7c0ff67 100644 --- a/riscvmodel/variant.py +++ b/riscvmodel/variant.py @@ -58,10 +58,10 @@ def __init__(self, name: str, *, custext=None): for ext in match.group(4).split("_"): if ext[0] == "Z": self.extensions |= set( - [ext] + Variant.stdextZ["Z" + ext[1:].lower()].implies) + [ext[0]+ext[1:].lower()] + Variant.stdextZ["Z" + ext[1:].lower()].implies) elif ext[0] == "X": self.extensions |= set( - [ext] + self.custext["X" + ext[1:].lower()].implies) + [ext[0]+ext[1:].lower()] + self.custext["X" + ext[1:].lower()].implies) def __str__(self): return self.name