diff options
| author | Kathy Gray | 2014-11-11 18:29:37 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-11 18:29:37 +0000 |
| commit | 939e715e6ea25e93d643efdc8dad0fd182dc9e12 (patch) | |
| tree | c4e373be94265a370d7f155ea1f869348f9846b3 | |
| parent | 391526a72ca92c05f7735ab90d181c1e840f012c (diff) | |
remove [ and ] from values in the hole
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 2 | ||||
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index ce7f6e10..ee559140 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -337,7 +337,7 @@ let doc_exp, doc_let = | Id_aux(Id("0"), _) -> (match Interp.in_lenv env id with | Interp.V_unknown -> doc_id id - | v -> string ("\x1b[1;31m[" ^ Interp.string_of_value v ^ "]\x1b[m")) + | v -> string ("\x1b[1;31m" ^ Interp.string_of_value v ^ "\x1b[m")) | _ -> doc_id id) | E_lit lit -> doc_lit lit | E_cast(typ,e) -> diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index 643473d8..36b3ed7e 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -121,7 +121,7 @@ let rec val_to_string_internal = function | Interp.V_vector (first_index, inc, l) -> let last_index = add_int_big_int (if inc then List.length l - 1 else 1 - List.length l) first_index in let repr = - try bitvec_to_string (* (if inc then l else List.rev l)*) l + try bitvec_to_string l with Failure _ -> sprintf "[%s]" (String.concat "; " (List.map val_to_string_internal l)) in sprintf "%s [%s..%s]" repr (string_of_big_int first_index) (string_of_big_int last_index) |