diff options
| author | Thomas Bauereiss | 2018-03-15 13:08:41 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-15 13:08:41 +0000 |
| commit | 3896c50644568214c06014eb54d27f86f3d446f3 (patch) | |
| tree | 10be0b534b2f4d60358131173999928d33d5c430 /src | |
| parent | e99f9e060575930bac00240f252bf6f975a13deb (diff) | |
Some CHERI compilation fixes
Diffstat (limited to 'src')
| -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 96baa279..e839d142 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -284,7 +284,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 smult_vec (x, y) = +let mults_vec (x, y) = let xi = sint(x) in let yi = sint(y) in let len = List.length x in |