From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 16 Jul 2013 16:53:13 +0000 (+0000)
Subject: Remove wrong #include.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2557fd454ed153bab53cd4a79afe96936e78c379;p=dealii-svn.git

Remove wrong #include.

git-svn-id: https://svn.dealii.org/trunk@30015 0785d39b-7218-0410-832d-ea1e28bc413d
---

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>