diff options
| author | Peter Sewell | 2014-10-29 09:05:02 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-10-29 09:05:02 +0000 |
| commit | c73a60e9aac77bdf8d3a7604f11739d01e9f7029 (patch) | |
| tree | 23aef8740048e965fd9d4363d79d5a428eb8a72c /src | |
| parent | c7361bf7c92d2856c1a9e7391e6feed87e63a8eb (diff) | |
tweak value pp (remove byte count)
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 8f9425e2..369e55a9 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -51,7 +51,7 @@ let val_to_string v = match v with (string_of_int l) ^ " bits -- 0b" ^ collapse_leading (String.concat "" (List.map (function | true -> "1" | _ -> "0") bools)) | Bytevector words -> let l = List.length words in - (string_of_int l) ^ " bytes -- 0x" ^ + (*(string_of_int l) ^ " bytes -- " ^*) "0x" ^ (String.concat "" (List.map (fun i -> let s = (Printf.sprintf "%x" i) in if (String.length s = 1) then "0"^s else s) words)) | Unknown0 -> "Unknown" |