Properly qualify shared_ptr.

git-svn-id: https://svn.dealii.org/trunk@30019 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 e0e2221fd6ac186b63ddeb5a185d77e3031bb831..150e6fe4372736bc288664a5566f89a288ab4217 100644 (file)
--- a/deal.II/include/deal.II/base/work_stream.h
+++ b/deal.II/include/deal.II/base/work_stream.h
@@ -483,7 +483,7 @@ namespace WorkStream
               scratch_data = new ScratchData(*current_item->sample_scratch_data);
 
               typename ItemType::ScratchDataList::value_type
-              new_scratch_object = { std::shared_ptr<ScratchData>(scratch_data), true };
+              new_scratch_object = { std_cxx1x::shared_ptr<ScratchData>(scratch_data), true };
               scratch_data_list.push_back (new_scratch_object);
             }
         }