From 4f14ccb421443dbc10b88e190526dda754f324aa Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 13 Mar 2019 17:11:39 +0000
Subject: Pretty_print_sail: don't use colour to highlight E_internal_value

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

(limited to 'src')

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