From 7648435cfb6d72cd1655387047a750eb7bf20b84 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 18 Jun 2015 14:27:19 +0100
Subject: Add more end_flag parameters

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

(limited to 'src')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 396f0f5c..8d88ad1b 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -1081,10 +1081,10 @@ val byte_list_of_memory_value : memory_value -> maybe (list byte)
 let byte_list_of_memory_value mv = maybe_all (List.map byte_of_memory_byte mv)
     
 
-val integer_of_memory_value : memory_value -> maybe integer 
-let integer_of_memory_value (mv:memory_value):maybe integer = 
+val integer_of_memory_value : end_flag -> memory_value -> maybe integer 
+let integer_of_memory_value endian (mv:memory_value):maybe integer = 
   match byte_list_of_memory_value mv with
-  | Just bs -> Just (integer_of_byte_list bs)
+  | Just bs -> Just (integer_of_byte_list (if endian = E_big_endian then bs else List.reverse bs))
   | Nothing -> Nothing 
   end
 
-- 
cgit v1.2.3