From 0c33f8cd9458e55c163de49be9a195187bb27dc0 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 18 Jun 2015 13:55:30 +0100
Subject: Put reverse in the correct place

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

(limited to 'src')

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index ec1b0de0..357cdc83 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -148,14 +148,14 @@ let register_value_to_string rv =
   bit_lifteds_to_string rv.rv_bits true (Some rv.rv_start)   
 
 let memory_value_to_string endian mv = 
-  let bls = List.concat(List.map (fun (Byte_lifted bs) -> (if endian = E_big_endian then bs else (List.rev bs))) mv)  in
+  let bls = List.concat(List.map (fun (Byte_lifted bs) -> bs) (if endian = E_big_endian then mv else (List.rev mv)))  in
   bit_lifteds_to_string bls true None
 
 let logfile_register_value_to_string rv = 
   bit_lifteds_to_string rv.rv_bits false (Some rv.rv_start)   
 
 let logfile_memory_value_to_string endian mv = 
-  let bls = List.concat(List.map (fun (Byte_lifted bs) -> (if endian = E_big_endian then bs else (List.rev bs))) mv)  in
+  let bls = List.concat(List.map (fun (Byte_lifted bs) -> bs) (if endian = E_big_endian then mv else (List.rev mv)))  in
   bit_lifteds_to_string bls false None
 
 let byte_list_to_string bs =
-- 
cgit v1.2.3