diff options
| author | Jon French | 2018-07-11 18:13:15 +0100 |
|---|---|---|
| committer | Jon French | 2018-07-11 18:16:56 +0100 |
| commit | 2a89faec667fdf24b93360d3da5f14eab161983b (patch) | |
| tree | d9f1fba3e03f0429a4b13b1ce6d597861d4375b2 /src/sail_lib.ml | |
| parent | ae83a6c62fa0794215f78cd75c8020805f5d9c0a (diff) | |
RISC-V model fixes for RMEM
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 63260c17..16b1d3cc 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -457,7 +457,7 @@ let write_ram' (data_size, addr, data) = end let write_ram (addr_size, data_size, hex_ram, addr, data) = - write_ram' (data_size, uint addr, data) + write_ram' (data_size, uint addr, data); true let wram addr byte = let bytes = Bytes.make 1 (char_of_int byte) in |