From 2557fd454ed153bab53cd4a79afe96936e78c379 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 16 Jul 2013 16:53:13 +0000
Subject: [PATCH] Remove wrong #include.

git-svn-id: https://svn.dealii.org/trunk@30015 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/include/deal.II/base/work_stream.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/deal.II/include/deal.II/base/work_stream.h b/deal.II/include/deal.II/base/work_stream.h
index 6e7a9e12e1..e0e2221fd6 100644
--- a/deal.II/include/deal.II/base/work_stream.h
+++ b/deal.II/include/deal.II/base/work_stream.h
@@ -24,7 +24,6 @@
 #ifdef DEAL_II_WITH_THREADS
 #  include <deal.II/base/thread_management.h>
 #  include <tbb/pipeline.h>
-#  include <thread>
 #endif
 
 #include <vector>
-- 
2.39.5