Merge remote-tracking branch 'origin/sail2' into c_fixes

1 files changed, 2 insertions, 2 deletions

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index ab621342..16b1d3cc 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -419,7 +419,7 @@ let get_mem_page p =
   try
     Mem.find p !mem_pages
   with Not_found -> 
-    let new_page = Bytes.create page_size_bytes in
+    let new_page = Bytes.make page_size_bytes '\000' in
     mem_pages := Mem.add p new_page !mem_pages;
     new_page
 
@@ -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