From c73a60e9aac77bdf8d3a7604f11739d01e9f7029 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Wed, 29 Oct 2014 09:05:02 +0000
Subject: tweak value pp (remove byte count)

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

(limited to 'src')

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"
-- 
cgit v1.2.3