From d8034f04d6f120fe5e4394fa6d3dfdcf27877a5f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 14 Mar 2018 11:53:16 +0000
Subject: fix riscv build: missing eq_bit implementation.

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

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 8b3e2313..76dec253 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -48,6 +48,8 @@ let trace_call str =
 
 type bit = B0 | B1
 
+let eq_bit (a, b) = a = b
+                  
 let and_bit = function
   | B1, B1 -> B1
   | _, _ -> B0
-- 
cgit v1.2.3