From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 8 Dec 2021 16:40:09 +0000 (-0700)
Subject: Break a loop early.
X-Git-Tag: v9.4.0-rc1~753^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe20b83a7514d6cae423ca448f3a14a8df2a9a9d;p=dealii.git

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 13e23c3f8b..a62ddc6e4c 100644
--- 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;
                   }
             }