Mention that we can still access the old index sets in DoFHandler

diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc
index 0a43d18831fccb2536f1fd8714e4b6e5e5a2934f..66a501a6866612413648ff5a3e804e10bd5c588f 100644 (file)
--- a/source/dofs/dof_handler_policy.cc
+++ b/source/dofs/dof_handler_policy.cc
@@ -5679,6 +5679,8 @@ namespace internal
                                             *dof_handler,
                                             /*check_validity=*/false);
 
+            // Since we have not updated the number cache yet, we can use the
+            // index sets contained in the DoFHandler at this stage.
             return NumberCache(dof_handler->locally_owned_dofs_per_processor(),
                                Utilities::MPI::this_mpi_process(
                                  triangulation->get_communicator()));