From fd6e115ee51fb8a06fb69a310a8ab0f67f0099fd Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 3 Jun 2013 04:41:31 +0000
Subject: [PATCH] Fix previous change.

git-svn-id: https://svn.dealii.org/trunk@29735 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/include/deal.II/base/work_stream.h | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/deal.II/include/deal.II/base/work_stream.h b/deal.II/include/deal.II/base/work_stream.h
index e43b43554e..9bd3d741ac 100644
--- a/deal.II/include/deal.II/base/work_stream.h
+++ b/deal.II/include/deal.II/base/work_stream.h
@@ -15,6 +15,7 @@
 
 #include <deal.II/base/config.h>
 #include <deal.II/base/multithread_info.h>
+#include <deal.II/base/thread_management.h>
 #include <deal.II/base/template_constraints.h>
 #include <deal.II/base/std_cxx1x/function.h>
 #include <deal.II/base/std_cxx1x/bind.h>
@@ -358,14 +359,14 @@ namespace WorkStream
 	      }
 	    catch (const std::exception &exc)
 	      {
-		internal::handle_std_exception (exc);
+		Threads::internal::handle_std_exception (exc);
 	      }
 	    catch (...)
 	      {
-		internal::handle_unknown_exception ();
+		Threads::internal::handle_unknown_exception ();
 	      }
 	  }
-	
+
         // then return the original pointer
         // to the now modified object
         return item;
@@ -440,14 +441,14 @@ namespace WorkStream
 	      }
 	    catch (const std::exception &exc)
 	      {
-		internal::handle_std_exception (exc);
+		Threads::internal::handle_std_exception (exc);
 	      }
 	    catch (...)
 	      {
-		internal::handle_unknown_exception ();
+		Threads::internal::handle_unknown_exception ();
 	      }
 	  }
-	
+
 
         // return an invalid
         // item since we are at
-- 
2.39.5