From e354b3dfac6ce4bd2dda99edc3fa2c91ed4c5b88 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 13 Sep 2016 14:07:09 +0100
Subject: Add optional address to memv events

---
 src/lem_interp/printing_functions.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lem_interp/printing_functions.ml')

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index ad423fd9..a1c49796 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -385,8 +385,8 @@ let rec format_events = function
     "     Write_ea at " ^ (memory_value_to_string E_big_endian location) ^ ", based on registers " ^
       format_tracking tracking ^ " across " ^ (string_of_int length) ^ " bytes\n" ^ 
       (format_events events)
-  | (E_write_memv(value, v_tracking))::events ->
-    "     Write_ea of " ^ (memory_value_to_string E_big_endian value) ^ ", based on registers " ^
+  | (E_write_memv(_, value, v_tracking))::events ->
+    "     Write_memv of " ^ (memory_value_to_string E_big_endian value) ^ ", based on registers " ^
       format_tracking v_tracking ^ "\n" ^
       (format_events events)
   | ((E_barrier b_kind)::events) ->
-- 
cgit v1.2.3