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 53ee1ef8..b38e7935 100644 --- a/lib/mono_rewrites.sail +++ b/lib/mono_rewrites.sail @@ -82,7 +82,7 @@ val subrange_subrange_concat : forall 'n 'o 'p 'm 'q 'r 's, 's >= 0 & 'n >= 0 & function subrange_subrange_concat (s, xs, i, j, ys, i', j') = { let xs = sail_shiftright(xs & slice_mask(j,i-j+1), j) in - let ys = sail_shiftright(ys & slice_mask(j',i'-j'+1), j) in + let ys = sail_shiftright(ys & slice_mask(j',i'-j'+1), j') in sail_shiftleft(extzv(s, xs), i' - j' + 1) | extzv(s, ys) } |