diff options
| -rw-r--r-- | riscv/riscv_duopod.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv_duopod.sail b/riscv/riscv_duopod.sail index e0eaf949..2c303432 100644 --- a/riscv/riscv_duopod.sail +++ b/riscv/riscv_duopod.sail @@ -6,7 +6,7 @@ type regno ('n : Int), 0 <= 'n < 32 = atom('n) type regbits = bits(5) val cast regbits_to_regno : bits(5) -> {'n, 0 <= 'n < 32. regno('n)} -function regbits_to_regno b = let 'r = unsigned(b) in r +function regbits_to_regno b = let r as atom(_) = unsigned(b) in r /* Architectural state */ |