diff options
Diffstat (limited to 'model/rvfi_dii.sail')
| -rw-r--r-- | model/rvfi_dii.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/rvfi_dii.sail b/model/rvfi_dii.sail index 7ebc8a8..d1ad480 100644 --- a/model/rvfi_dii.sail +++ b/model/rvfi_dii.sail @@ -298,7 +298,7 @@ function rvfi_get_mem_data () = { return rvfi_mem_data.bits; } -val rvfi_encode_width_mask : forall 'n, 0 < 'n <= 32. atom('n) -> bits(32) +val rvfi_encode_width_mask : forall 'n, 0 < 'n <= 32. int('n) -> bits(32) function rvfi_encode_width_mask(width) = (0xFFFFFFFF >> (32 - width)) |