From 64e79400a4bf8489038e958e95a952668daecefc Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 23 Nov 2014 16:01:49 +0000
Subject: better... still not right

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

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index d94068ca..a8eebf97 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -90,7 +90,7 @@ let hex_int_to_string i =
 
 let bytes_lifted_homogenous_to_string = function
   | Bitslh_concrete bs -> 
-      let i = Big_int.int_of_big_int (Interp_interface.integer_of_bit_list bs) in
+      let i = Big_int.int_of_big_int (Interp_interface.integer_of_bit_list (List.rev bs)) in
       hex_int_to_string i
   | Bitslh_undef -> "uu"
   | Bitslh_unknown -> "??"
-- 
cgit v1.2.3