Use std::unique_ptr instead of std::shared_ptr for DoFHandler::policy.

This is possible because DoFHandler has no copy constructor or operator, and consequently
there is no reason to share a policy.

diff --git a/include/deal.II/dofs/dof_handler.h b/include/deal.II/dofs/dof_handler.h
index eb298faae6a37d4c7d16c79868ab7ea79df9ede9..2d8953dddf7719167bafb50ce9942c10d29aa934 100644 (file)
--- a/include/deal.II/dofs/dof_handler.h
+++ b/include/deal.II/dofs/dof_handler.h
@@ -933,7 +933,7 @@ private:
    * An object that describes how degrees of freedom should be distributed and
    * renumbered.
    */
-  std::shared_ptr<dealii::internal::DoFHandler::Policy::PolicyBase<dim,spacedim> > policy;
+  std::unique_ptr<dealii::internal::DoFHandler::Policy::PolicyBase<dim,spacedim> > policy;
 
   /**
    * A structure that contains all sorts of numbers that characterize the