From 0c36843eeeea88f6f5c744f716e80e288269af81 Mon Sep 17 00:00:00 2001 From: Spencer Patty Date: Fri, 5 Feb 2016 12:49:26 -0600 Subject: [PATCH] run indent again on changes --- source/grid/grid_tools.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/source/grid/grid_tools.cc b/source/grid/grid_tools.cc index 6f4e101f33..336c66159d 100644 --- a/source/grid/grid_tools.cc +++ b/source/grid/grid_tools.cc @@ -3070,6 +3070,11 @@ next_cell: std::vector local_face_dof_indices; std::vector local_line_dof_indices; + // a place to save the dof_handler user flags and restore them later + // to maintain const of dof_handler. + std::vector user_flags; + + // in 3d, we need pointers from active lines to the // active parent lines, so we construct it as needed. std::map lines_to_parent_lines_map; @@ -3077,7 +3082,6 @@ next_cell: { // save user flags as they will be modified and then later restored - std::vector user_flags; dof_handler.get_triangulation().save_user_flags(user_flags); const_cast &>(dof_handler.get_triangulation()).clear_user_flags (); -- 2.39.5