Use a range-based for loop.

diff --git a/source/hp/dof_handler.cc b/source/hp/dof_handler.cc
index 307dd6015194904ffb862561f1eb9730410c33be..6bfa72ddee6a405fcad49c9c52dac48f4c48798c 100644 (file)
--- a/source/hp/dof_handler.cc
+++ b/source/hp/dof_handler.cc
@@ -1222,8 +1222,8 @@ namespace hp
   {
     // unsubscribe as a listener to refinement of the underlying
     // triangulation
-    for (unsigned int i = 0; i < tria_listeners.size(); ++i)
-      tria_listeners[i].disconnect();
+    for (auto &connection : tria_listeners)
+      connection.disconnect();
     tria_listeners.clear();
 
     // ...and release allocated memory
@@ -1514,8 +1514,8 @@ namespace hp
   {
     if (this->tria != &tria)
       {
-        for (unsigned int i = 0; i < tria_listeners.size(); ++i)
-          tria_listeners[i].disconnect();
+        for (auto &connection : tria_listeners)
+          connection.disconnect();
         tria_listeners.clear();
 
         this->tria = &tria;