From fe20b83a7514d6cae423ca448f3a14a8df2a9a9d Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 8 Dec 2021 09:40:09 -0700 Subject: [PATCH] Break a loop early. The scratch objects can be in the list only once, so once we find it, we can stop the loop. --- include/deal.II/base/work_stream.h | 2 ++ 1 file changed, 2 insertions(+) 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; } } -- 2.39.5