diff --git a/src/org/rascalmpl/repl/BaseREPL.java b/src/org/rascalmpl/repl/BaseREPL.java index 4540685a344..ecf328d37dd 100755 --- a/src/org/rascalmpl/repl/BaseREPL.java +++ b/src/org/rascalmpl/repl/BaseREPL.java @@ -274,7 +274,7 @@ protected void stackTraceRequested() { } private String previousPrompt = ""; - public static final String PRETTY_PROMPT_PREFIX = Ansi.ansi().reset().bold().fg(Color.BLACK).toString(); + public static final String PRETTY_PROMPT_PREFIX = Ansi.ansi().reset().bold().toString(); public static final String PRETTY_PROMPT_POSTFIX = Ansi.ansi().boldOff().reset().toString(); protected void updatePrompt() {