Change update flag to update the new flag. I also provisioned for new possible flags...

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 7cbf5d3dab33df2fdc5f425a191eb25f44b89c46..60da358c06ac1de960787ab5b13df0028b05270a 100644 (file)
--- 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,
   };