]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove an unused std::string. 4764/head
authorDavid Wells <wellsd2@rpi.edu>
Thu, 10 Aug 2017 15:47:06 +0000 (11:47 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Thu, 10 Aug 2017 15:47:06 +0000 (11:47 -0400)
source/base/patterns.cc

index ddcacf010df37bf969d544963667a14396d00648..340d5723c2e87b9631952bcdde625947682e43e6 100644 (file)
@@ -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) ||

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.