diff options
Diffstat (limited to 'src/lem_interp/pretty_interp.ml')
| -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 |