From: Wolfgang Bangerth 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; } }