From e163fc61c2b9ee502ccb4c21ba5f06d625d3009e 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 54b8c80bec..4ab83ce9f0 100644 --- a/include/deal.II/base/work_stream.h +++ b/include/deal.II/base/work_stream.h @@ -590,6 +590,8 @@ namespace WorkStream { Assert(p->currently_in_use == true, ExcInternalError()); p->currently_in_use = false; + + break; } } -- 2.39.5