From bd26194997071f5570096492e63f909c1d010304 Mon Sep 17 00:00:00 2001
From: Linus Wagner <linus.wagner@malighting.de>
Date: Mon, 15 Jan 2024 17:27:16 +0100
Subject: [PATCH] Remove black color from Rascal prompt

---
 src/org/rascalmpl/repl/BaseREPL.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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() {