]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix indentation 3932/head
authorsairajat <rajat.arora9464@gmail.com>
Sun, 12 Feb 2017 21:23:23 +0000 (16:23 -0500)
committersairajat <rajat.arora9464@gmail.com>
Sun, 12 Feb 2017 21:23:23 +0000 (16:23 -0500)
source/base/parameter_handler.cc

index 571df879f73bbe0adfa97966fd79a6bbbae2e004..2e10b8dc008dad4d95b1421c4fb74c5521b59f7a 100644 (file)
@@ -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;
 

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.