Break a loop early.

The scratch objects can be in the list only once, so once we find it, we
can stop the loop.

diff --git a/include/deal.II/base/work_stream.h b/include/deal.II/base/work_stream.h
index 13e23c3f8b512ac965b33b87286d067a7cb1fef5..a62ddc6e4ca79f2cb3913437c19c5b0aec2d95f3 100644 (file)
--- a/include/deal.II/base/work_stream.h
+++ b/include/deal.II/base/work_stream.h
@@ -597,6 +597,8 @@ namespace WorkStream
                   {
                     Assert(p->currently_in_use == true, ExcInternalError());
                     p->currently_in_use = false;
+
+                    break;
                   }
             }