diff options
| author | Robert Norton | 2018-03-14 11:53:16 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 11:53:16 +0000 |
| commit | d8034f04d6f120fe5e4394fa6d3dfdcf27877a5f (patch) | |
| tree | 56334d770c990a088dd32ec56f453d31b5e78774 /src | |
| parent | a5ec031ff371fcd50a069a3715939c60febbb02f (diff) | |
fix riscv build: missing eq_bit implementation.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |