From 6528e71a6a80e43de04a00babedd89bb8cf98c77 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 29 Jan 2016 13:56:38 +0000
Subject: fix typo in kathy's last commit.

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

(limited to 'src')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 71688ff6..d333873b 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -1137,7 +1137,7 @@ let clear_low_order_bits_of_address a =
         end
   end
 
-val translate_address : string -> addres -> maybe address * maybe nat
+val translate_address : string -> address -> 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 = 
-- 
cgit v1.2.3