diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mono_rewrites.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail index 3efc028a..b24bb152 100644 --- a/lib/mono_rewrites.sail +++ b/lib/mono_rewrites.sail @@ -165,7 +165,7 @@ val place_subrange_signed : forall 'n 'm, 'n >= 0 & 'm >= 0. (implicit('m), bits('n), int, int, int) -> bits('m) effect pure function place_subrange_signed(m,xs,i,j,shift) = { - place_slice_signed(m, xs, i, i-j+1, shift) + place_slice_signed(m, xs, j, i-j+1, shift) } /* This has different names in the aarch64 prelude (UInt) and the other |