Minor cleanups in thread_management.h.

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index b15fd6e1c550a9b10ce142308353d24df521c588..f034fc7b3d98b6b78f2092ba82836ab2e286d081 100644 (file)
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -33,7 +33,6 @@
 #  include <memory>
 #  include <mutex>
 #  include <thread>
-#  include <tuple>
 #  include <utility>
 #  include <vector>
 
@@ -919,10 +918,8 @@ namespace Threads
     void
     join_all() const
     {
-      for (typename std::list<Thread<RT>>::const_iterator t = threads.begin();
-           t != threads.end();
-           ++t)
-        t->join();
+      for (auto &t : threads)
+        t.join();
     }
 
   private: