From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 5 Oct 2018 23:49:15 +0000 (-0600)
Subject: Do not use deprecated function Threads::this_thread_id().
X-Git-Tag: v9.1.0-rc1~652^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d8f7d33ba1870898b0aa17f23a88a7c08a67ccc;p=dealii.git

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

diff --git a/source/base/logstream.cc b/source/base/logstream.cc
index c1c97a3379..556bb5a125 100644
--- 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)
     {