diff options
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index b6e98d83..975ff82e 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -217,7 +217,7 @@ function forall Nat 'r, 'r IN {1,2,4,8}.[:'r:] wordWidthBytes((WordType) w) = function bool isAddressAligned(addr, (WordType) wordType) = switch (wordType) { case B -> true - case H -> (addr[0] == 0b0) + case H -> (addr[0] == 0) case W -> (addr[1..0] == 0b00) case D -> (addr[2..0] == 0b000) } |