From e203adf3bd63c8f0e061da4814791e4242d3dad6 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 9 Jun 2014 21:31:09 +0100
Subject: Better, colored hole

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

diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml
index 3305fc5e..e3fe1cbc 100644
--- a/src/lem_interp/pretty_interp.ml
+++ b/src/lem_interp/pretty_interp.ml
@@ -34,7 +34,7 @@ open PPrint
 
 let doc_id (Id_aux(i,_)) =
   match i with
-  | Id "0" -> string "[x]" (* internal representation of a hole *)
+  | Id "0" -> string "\x1b[1;31m[_]\x1b[m" (* internal representation of a hole *)
   | Id i -> string i
   | DeIid x ->
       (* add an extra space through empty to avoid a closing-comment
-- 
cgit v1.2.3