From 2d8f7d33ba1870898b0aa17f23a88a7c08a67ccc Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 5 Oct 2018 17:49:15 -0600
Subject: [PATCH] Do not use deprecated function Threads::this_thread_id().

---
 source/base/logstream.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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)
     {
-- 
2.39.5