diff options
| author | Alasdair Armstrong | 2018-01-24 16:25:37 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-24 16:25:37 +0000 |
| commit | cd81acaf58db3edc4187e4cccc35f6aa76d6933d (patch) | |
| tree | 8f1235524095ca0928723ab78e7c6ec8c29dde7c /src/sail_lib.ml | |
| parent | a55259301692a5c56bb7f389dc8dc59c0e19fe41 (diff) | |
Fixed riscv ocaml compilation
Diffstat (limited to 'src/sail_lib.ml')
| -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 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 |