diff options
| author | Kathy Gray | 2014-11-22 23:33:59 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-22 23:33:59 +0000 |
| commit | 879f4e8a56dd9abc31eb8af8445c5c3d4fc77de7 (patch) | |
| tree | d213c3127565ed159b143a06386bea1c1317c7db | |
| parent | a283d5ce50055868ffcd941cf91f8190f3ef6e62 (diff) | |
Printing functions compiles again
| -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 77716bfb..de6b24d5 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -60,7 +60,7 @@ let bit_lifted_to_string = function let reg_value_to_string v = let l = List.length v.rv_bits in - let start = (string_of_int (Big_int.int_of_big_int v.rv_start)) in + let start = string_of_int v.rv_start in if List.mem l [8;16;32;64;128] then let bytes = Interp_inter_imp.to_bytes v.rv_bits in "0x" ^ "_" ^ start ^ "'" ^ bytes_to_string bytes |