Fix bug in mono rewrites

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)
 }