From 3896c50644568214c06014eb54d27f86f3d446f3 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 15 Mar 2018 13:08:41 +0000
Subject: Some CHERI compilation fixes

---
 src/sail_lib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3