removed commented code

usethesource · Jun 24, 2024 · 572a62d · 572a62d
1 parent c5a6810
commit 572a62d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -335,7 +335,6 @@ else if (barWidth <= 3) { // we can print the clock for good measure
                 + ANSI.noBackground()
                 + ANSI.normal()
                 + backPart
-                // + ANSI.normal()
                 + " " + clock + " "
                 + String.format("%d:%02d:%02d.%03d", duration.toHoursPart(), duration.toMinutes(), duration.toSecondsPart(), duration.toMillisPart())
                 + " "