diff options
| author | Peter Sewell | 2014-11-23 16:01:49 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 16:01:49 +0000 |
| commit | 64e79400a4bf8489038e958e95a952668daecefc (patch) | |
| tree | 0c0ebe26d438313e667b02d5e1311b2f4c42a073 /src | |
| parent | 52b2b975e75bd783c07aaaeb1f1e15abb13375b0 (diff) | |
better... still not right
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> "??" |