diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 6 |
1 files changed, 3 insertions, 3 deletions
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 |