From cd81acaf58db3edc4187e4cccc35f6aa76d6933d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 24 Jan 2018 16:25:37 +0000
Subject: Fixed riscv ocaml compilation

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

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index c78b81a9..3cd8e18c 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -490,6 +490,8 @@ let rec string_of_list sep string_of = function
 
 let skip () = ()
 
+let memea (_, _) = ()
+
 let zero_extend (vec, n) =
   let m = Big_int.to_int n in
   if m <= List.length vec
-- 
cgit v1.2.3