diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 53f4aec6..44dd4ac5 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -282,7 +282,7 @@ let mult_vec (x, y) = to_bits' (2*len, prod) (* signed multiplication of two n bit lists producing a list of 2n bits. *) -let mult_svec (x, y) = +let smult_vec (x, y) = let xi = sint(x) in let yi = sint(y) in let len = List.length x in |