Use a simpler way to clear a vector.

diff --git a/include/deal.II/matrix_free/face_info.h b/include/deal.II/matrix_free/face_info.h
index 9e8a1b0e971112d7778c5e84eb4c8ebcab7a7d19..5c23961f02ac4b690ee0c18292f01fab13f229c0 100644 (file)
--- a/include/deal.II/matrix_free/face_info.h
+++ b/include/deal.II/matrix_free/face_info.h
@@ -142,7 +142,7 @@ namespace internal
       void
       clear()
       {
-        faces = std::vector<FaceToCellTopology<vectorization_width>>();
+        faces.clear();
         cell_and_face_to_plain_faces.reinit(TableIndices<3>(0, 0, 0));
         cell_and_face_boundary_id.reinit(TableIndices<3>(0, 0, 0));
       }