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 54b8c80bec36943811da9894eac04f92f4b3256b..4ab83ce9f020bb8f827677b8ea9dcaca3281d434 100644 (file)
--- 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;
                   }
             }