removed dead warning

usethesource · Apr 3, 2024 · e768d92 · e768d92
1 parent 8df9d9e
commit e768d92
Showing 1 changed file with 2 additions and 4 deletions.
diff --git 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();