From 2cb93663892c83bf33686669227048e37fc48416 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 29 Jan 2016 13:37:55 +0000
Subject: Put correct tags on to_vec calls

---
 src/lem_interp/interp_interface.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/lem_interp/interp_interface.lem')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 479ecdca..71688ff6 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -1137,6 +1137,8 @@ let clear_low_order_bits_of_address a =
         end
   end
 
+val translate_address : string -> addres -> maybe address * maybe nat
+
 val byte_list_of_memory_value : end_flag -> memory_value -> maybe (list byte)
 let byte_list_of_memory_value endian mv = 
   let mv = if endian = E_big_endian then mv else List.reverse mv in
-- 
cgit v1.2.3