diff options
| author | Jon French | 2019-03-13 17:11:39 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-13 17:11:39 +0000 |
| commit | 4f14ccb421443dbc10b88e190526dda754f324aa (patch) | |
| tree | 915c2301478719fd77e0bf39a93fd93730db565d /src | |
| parent | 31acee54267e21465ba6e65dd338d61d30012aa9 (diff) | |
Pretty_print_sail: don't use colour to highlight E_internal_value
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print_sail.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index 56026c81..9712b62c 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -470,7 +470,7 @@ and doc_atomic_exp (E_aux (e_aux, _) as exp) = brackets (separate space [doc_exp exp1; string "with"; doc_atomic_exp exp2; equals; doc_exp exp3]) | E_vector_update_subrange (exp1, exp2, exp3, exp4) -> brackets (separate space [doc_exp exp1; string "with"; doc_atomic_exp exp2; string ".."; doc_atomic_exp exp3; equals; doc_exp exp4]) - | E_internal_value v -> string (Value.string_of_value v |> Util.green |> Util.clear) + | E_internal_value v -> string (Value.string_of_value v (* |> Util.green |> Util.clear *)) | _ -> parens (doc_exp exp) and doc_fexps fexps = separate_map (comma ^^ space) doc_fexp fexps |