Do not use deprecated function Threads::this_thread_id().

diff --git a/source/base/logstream.cc b/source/base/logstream.cc
index c1c97a33798ca7324794d12384ab219e501ff84a..556bb5a1256bdd07f3715b342fadd60f1c78fc81 100644 (file)
--- a/source/base/logstream.cc
+++ b/source/base/logstream.cc
@@ -21,6 +21,7 @@
 #include <iomanip>
 #include <iostream>
 #include <sstream>
+#include <thread>
 
 
 DEAL_II_NAMESPACE_OPEN
@@ -414,8 +415,8 @@ LogStream::get_prefixes() const
 void
 LogStream::print_line_head()
 {
-  const std::string &head   = get_prefix();
-  const unsigned int thread = Threads::this_thread_id();
+  const std::string &   head   = get_prefix();
+  const std::thread::id thread = std::this_thread::get_id();
 
   if (get_prefixes().size() <= std_depth)
     {