From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 16 Jul 2013 19:26:17 +0000 (+0000)
Subject: Properly qualify shared_ptr.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed05b43037ae4fbf96c19cf244b4182e1fdbb7b5;p=dealii-svn.git

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 e0e2221fd6..150e6fe437 100644
--- 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);
             }
         }