diff options
| author | Gabriel Kerneis | 2014-06-09 21:31:09 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-09 21:31:09 +0100 |
| commit | e203adf3bd63c8f0e061da4814791e4242d3dad6 (patch) | |
| tree | e469a38c5af8da796256eebac23ba9d2757dd548 | |
| parent | fe62f284dde251076cabeea189b08324e672214b (diff) | |
Better, colored hole
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |