From 99181e9b1b74573d4c0153d02d42b65a8c32605a Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 12 Aug 2019 20:56:08 -0600 Subject: [PATCH] Correct indentation. --- source/grid/grid_tools_cache.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/grid/grid_tools_cache.cc b/source/grid/grid_tools_cache.cc index dc945de8c6..048489b1bc 100644 --- a/source/grid/grid_tools_cache.cc +++ b/source/grid/grid_tools_cache.cc @@ -114,7 +114,7 @@ namespace GridTools for (const auto &it : used_vertices) vertices[i++] = std::make_pair(it.second, it.first); used_vertices_rtree = pack_rtree(vertices); - update_flags = update_flags & ~update_used_vertices_rtree; + update_flags = update_flags & ~update_used_vertices_rtree; } return used_vertices_rtree; } -- 2.39.5