From fd6e115ee51fb8a06fb69a310a8ab0f67f0099fd Mon Sep 17 00:00:00 2001 From: bangerth 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 #include +#include #include #include #include @@ -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