From aa63d77a5d3c68d0e9e2f2b9746b25f806d5d1da Mon Sep 17 00:00:00 2001 From: Bruno Blais Date: Wed, 28 Oct 2020 09:19:41 -0400 Subject: [PATCH] Change update flag to update the new flag. I also provisioned for new possible flags by just clearing the entire last hex character. --- include/deal.II/grid/grid_tools_cache_update_flags.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/deal.II/grid/grid_tools_cache_update_flags.h b/include/deal.II/grid/grid_tools_cache_update_flags.h index 7cbf5d3dab..60da358c06 100644 --- a/include/deal.II/grid/grid_tools_cache_update_flags.h +++ b/include/deal.II/grid/grid_tools_cache_update_flags.h @@ -87,7 +87,7 @@ namespace GridTools /** * Update all objects. */ - update_all = 0x0FF, + update_all = 0xFFF, }; -- 2.39.5