From: sairajat Date: Sun, 12 Feb 2017 21:23:23 +0000 (-0500) Subject: Fix indentation X-Git-Tag: v8.5.0-rc1~118^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F3932%2Fhead;p=dealii.git Fix indentation --- diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc index 571df879f7..2e10b8dc00 100644 --- a/source/base/parameter_handler.cc +++ b/source/base/parameter_handler.cc @@ -468,10 +468,11 @@ namespace Patterns { std::string tmp(sequence); -// remove whitespace at beginning + // remove whitespace at beginning while ((tmp.length() != 0) && (std::isspace (tmp[0]))) - tmp.erase (0,1); // check the different possibilities + tmp.erase (0,1); + // check the different possibilities while (tmp.find('|') != std::string::npos) { if (test_string == std::string(tmp, 0, tmp.find('|'))) @@ -480,11 +481,11 @@ namespace Patterns tmp.erase (0, tmp.find('|')+1); }; -//remove whitespace at the end + //remove whitespace at the end while ((tmp.length() != 0) && (std::isspace (*(tmp.end()-1)))) tmp.erase (tmp.end()-1); -// check last choice, not finished by | + // check last choice, not finished by | if (test_string == tmp) return true;