From 5122684b391c7850c23fceec70675ecf6531991c Mon Sep 17 00:00:00 2001
From: Peter Munch <peterrmuench@gmail.com>
Date: Wed, 15 Jul 2020 18:58:05 +0200
Subject: [PATCH] Fix dynamic cast

---
 source/dofs/dof_handler.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/dofs/dof_handler.cc b/source/dofs/dof_handler.cc
index dd0b53f1c6..f99da35fd4 100644
--- a/source/dofs/dof_handler.cc
+++ b/source/dofs/dof_handler.cc
@@ -2992,7 +2992,7 @@ DoFHandler<dim, spacedim>::setup_policy_and_listeners()
   // policy and attach corresponding callback functions dealing with the
   // transfer of active_fe_indices
   if (dynamic_cast<
-        const dealii::parallel::distributed::Triangulation<dim, spacedim> *>(
+        const dealii::parallel::DistributedTriangulationBase<dim, spacedim> *>(
         &this->get_triangulation()))
     {
       this->policy =
-- 
2.39.5