diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen_lib/sail_values.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index 77d149bf..5e9494b8 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -1197,12 +1197,12 @@ let mask (n,v) = let to_drop = (current_size - n') in let bits' = Array.sub bits to_drop n' in Vvector (bits',(if dir then 0 else n'-1), dir) - | VvectorR (bits,start,dir) -> - let current_size = Array.length bits in + | Vregister (bits,start,dir,fields) -> + let current_size = Array.length !bits in let to_drop = (current_size - n') in - let bits' = Array.sub bits to_drop n' in - VvectorR (bits',(if dir then 0 else n'-1), dir) - | Vregister _ -> failwith "mask not implemented for Vregister" + let bits' = Array.sub !bits to_drop n' in + Vvector (bits',(if dir then 0 else n'-1), dir) + | VvectorR _ -> failwith "mask not implemented for VregisterR" | Vbit _ -> failwith "mask called for bit" let slice_raw (v, i, j) = |