From 0ea5123aff7150100260c597f4a63fdec49f1089 Mon Sep 17 00:00:00 2001
From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 10 May 2019 10:56:50 +0200
Subject: [PATCH] Use the new constructor for Mapping::get_bounding_box()

---
 source/fe/mapping.cc | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/source/fe/mapping.cc b/source/fe/mapping.cc
index 45a1371568..3716dac5d1 100644
--- a/source/fe/mapping.cc
+++ b/source/fe/mapping.cc
@@ -69,17 +69,7 @@ Mapping<dim, spacedim>::get_bounding_box(
   if (preserves_vertex_locations())
     return cell->bounding_box();
   else
-    {
-      const auto      vertices = get_vertices(cell);
-      Point<spacedim> p0 = vertices[0], p1 = vertices[0];
-      for (unsigned int j = 1; j < vertices.size(); ++j)
-        for (unsigned int d = 0; d < spacedim; ++d)
-          {
-            p0[d] = std::min(p0[d], vertices[j][d]);
-            p1[d] = std::max(p1[d], vertices[j][d]);
-          }
-      return BoundingBox<spacedim>({p0, p1});
-    }
+    return BoundingBox<spacedim>(get_vertices(cell));
 }
 
 
-- 
2.39.5