diff options
Diffstat (limited to 'src/lem_interp/run_interp.ml')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 1e74d3f0..2c705455 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -47,7 +47,7 @@ let bitvec_to_string l = "0b" ^ collapse_leading (String.concat "" (List.map (fu | _ -> assert false) l)) ;; -let val_to_string v = match v with +(*let val_to_string v = match v with | Bitvector(bools, _, _) -> "0b" ^ collapse_leading (String.concat "" (List.map (function | true -> "1" | _ -> "0") bools)) | Bytevector words-> "0x" ^ (String.concat "" @@ -59,7 +59,7 @@ let val_to_string v = match v with | 14 -> "E" | 15 -> "F" | i -> string_of_int i) words)) - | Unknown0 -> "Unknown" + | Unknown0 -> "Unknown"*) let reg_name_to_string = function | Reg0 s -> s |