From e768d920082492c30a3a44690f667fe2f565325b Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 3 Apr 2024 14:58:19 +0200
Subject: [PATCH] removed dead warning

---
 src/org/rascalmpl/repl/TerminalProgressBarMonitor.java | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
index f771d6a516e..f64f53b5796 100644
--- a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
+++ b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -397,13 +397,11 @@ public synchronized void write(int b) throws IOException {
     @Override
     public synchronized void endAllJobs() {
         for (var pb : bars) {
-            if (pb.nesting > 0) {
+            if (pb.nesting >= 0) {
                 writer.println("[INFO] " + pb.name + " is still at nesting level " + pb.nesting);
             }
-            if (pb.current < pb.max) {
-                writer.println("[INFO] " + pb.name + " has not done all the work (" + pb.current + " of " + pb.max + ")");
-            }
         }
+
         bars.clear();
         writer.write(ANSI.showCursor());
         writer.flush();