From: David Wells <wellsd2@rpi.edu>
Date: Fri, 4 May 2018 00:30:56 +0000 (-0400)
Subject: Remove an unused variable name.
X-Git-Tag: v9.0.0-rc1~23^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6443%2Fhead;p=dealii.git

Remove an unused variable name.
---

diff --git a/source/dofs/dof_tools_constraints.cc b/source/dofs/dof_tools_constraints.cc
index e2dd804632..b33951cb3a 100644
--- a/source/dofs/dof_tools_constraints.cc
+++ b/source/dofs/dof_tools_constraints.cc
@@ -2753,7 +2753,7 @@ namespace DoFTools
                 communicator = tria.get_communicator ();
                 is_called_in_parallel = true;
               }
-            catch (std::bad_cast &exp)
+            catch (std::bad_cast &)
               {
                 // Nothing bad happened: the user used serial Triangulation
               }