Avoid warning about uninitialized variable.

diff --git a/source/dofs/dof_handler_policy.cc b/source/dofs/dof_handler_policy.cc
index b2778f3f4751d6a15e234db1fe7bfc0767682661..5f69e84cbdcff438a266255efb1681cde00e5b6b 100644 (file)
--- a/source/dofs/dof_handler_policy.cc
+++ b/source/dofs/dof_handler_policy.cc
@@ -1005,6 +1005,7 @@ namespace internal
                                        const types::global_dof_index  n_dofs,
                                        const unsigned int             n_procs)
         {
+          (void)n_procs;
           std::vector<types::subdomain_id> subdomain_association (n_dofs,
                                                                   numbers::invalid_subdomain_id);
           std::vector<types::global_dof_index> local_dof_indices;
@@ -1058,10 +1059,10 @@ namespace internal
 
           return subdomain_association;
         }
-
       }
 
 
+
       template <int dim, int spacedim>
       NumberCache
       ParallelShared<dim,spacedim>::