From bacea8940f37952601807724bbd8d3c87afc8cdc Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Tue, 26 Jun 2018 18:26:14 -0700
Subject: Fix duplicate riscv mem-ea, spotted by Jon French.

---
 riscv/riscv_extras.lem | 1 -
 1 file changed, 1 deletion(-)

(limited to 'riscv/riscv_extras.lem')

diff --git a/riscv/riscv_extras.lem b/riscv/riscv_extras.lem
index 7c346688..601f5008 100644
--- a/riscv/riscv_extras.lem
+++ b/riscv/riscv_extras.lem
@@ -33,7 +33,6 @@ let MEMea_conditional_strong_release addr size
 val write_ram : forall 'rv 'a 'b 'e. Size 'a, Size 'b =>
   integer -> integer -> bitvector 'a -> bitvector 'a -> bitvector 'b -> monad 'rv unit 'e
 let write_ram addrsize size hexRAM address value =
-  write_mem_ea Write_plain address size >>
   write_mem_val value >>= fun _ ->
   return ()
 
-- 
cgit v1.2.3