diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 13ed491b..21d95e64 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -728,6 +728,7 @@ let sign_extend (vec, n) = | B1 :: _ as vec -> replicate_bits ([B1], Big_int.of_int (m - List.length vec)) @ vec let zeros n = replicate_bits ([B0], n) +let ones n = replicate_bits ([B1], n) let shift_bits_right_arith (x, y) = let ybi = uint(y) in |