From 2d8f7d33ba1870898b0aa17f23a88a7c08a67ccc Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth 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 #include #include +#include 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