diff options
Diffstat (limited to 'riscv/platform_impl.ml')
| -rw-r--r-- | riscv/platform_impl.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/platform_impl.ml b/riscv/platform_impl.ml index aab272f8..5c238a1e 100644 --- a/riscv/platform_impl.ml +++ b/riscv/platform_impl.ml @@ -107,7 +107,7 @@ let cpu_hz = 1000000000;; let insns_per_tick = 100;; let mems = [ { addr = dram_base; - size = dram_size } ];; + size = dram_size } ];; let dts = spike_dts "rv64imac" cpu_hz insns_per_tick mems;; let bytes_to_string bytes = |