From: sairajat Date: Tue, 7 Feb 2017 21:17:53 +0000 (-0500) Subject: Bug Fix in Patterns::Selection X-Git-Tag: v8.5.0-rc1~118^2~5^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1a766767aa25b2b131be19d50c8f2b222ad5cd86;p=dealii.git Bug Fix in Patterns::Selection --- diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc index a0d6c22ead..128e2410b3 100644 --- a/source/base/parameter_handler.cc +++ b/source/base/parameter_handler.cc @@ -469,7 +469,7 @@ namespace Patterns std::string tmp(sequence); // remove whitespace at beginning while ((tmp.length() != 0) && (std::isspace (tmp[0]))) - tmp.erase (0,1); + tmp.erase (0,1); // check the different possibilities while (tmp.find('|') != std::string::npos)