From: Spencer Patty Date: Fri, 5 Feb 2016 18:49:26 +0000 (-0600) Subject: run indent again on changes X-Git-Tag: v8.4.0-rc2~19^2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0c36843eeeea88f6f5c744f716e80e288269af81;p=dealii.git run indent again on changes --- 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 ();