From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 3 Aug 2017 10:59:52 +0000 (-0600)
Subject: Use the proper way to deal with std::unique_ptrs.
X-Git-Tag: v9.0.0-rc1~1371^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=02495fc98d15d358829ee9c543ef5a79e534b18a;p=dealii.git

Use the proper way to deal with std::unique_ptrs.
---

diff --git a/include/deal.II/hp/dof_handler.h b/include/deal.II/hp/dof_handler.h
index f315534172..c4be7e907a 100644
--- a/include/deal.II/hp/dof_handler.h
+++ b/include/deal.II/hp/dof_handler.h
@@ -948,14 +948,9 @@ namespace hp
     // pointer object still points to something useful, that object is not
     // destroyed and we end up with a memory leak. consequently, first delete
     // previous content before re-loading stuff
-    for (unsigned int i = 0; i<levels.size(); ++i)
-      delete levels[i];
-    for (unsigned int i = 0; i<has_children.size(); ++i)
-      delete has_children[i];
-    levels.resize(0);
-    has_children.resize(0);
-    delete faces;
-    faces = 0;
+    levels.clear ();
+    has_children.clear ();
+    faces.reset ();
 
     ar &levels;
     ar &faces;