From: David Wells 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 split_list = Utilities::split_string_list(test_string_list, separator); if ((split_list.size() < min_elements) ||