From: David Wells <wellsd2@rpi.edu>
Date: Thu, 10 Aug 2017 15:47:06 +0000 (-0400)
Subject: Remove an unused std::string.
X-Git-Tag: v9.0.0-rc1~1310^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F4764%2Fhead;p=dealii.git

Remove an unused std::string.
---

diff --git a/source/base/patterns.cc b/source/base/patterns.cc
index ddcacf010d..340d5723c2 100644
--- a/source/base/patterns.cc
+++ b/source/base/patterns.cc
@@ -778,7 +778,6 @@ namespace Patterns
 
   bool Map::match (const std::string &test_string_list) const
   {
-    std::string tmp = test_string_list;
     std::vector<std::string> split_list =
       Utilities::split_string_list(test_string_list, separator);
     if ((split_list.size() < min_elements) ||