From 1eda4c31e468534d5bc335068b6cb2f472be430d Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sun, 2 Dec 2007 04:50:02 +0000 Subject: [PATCH] Eat all sorts of whitespace when splitting a string. git-svn-id: https://svn.dealii.org/trunk@15567 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/expand_instantiations.cc | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/deal.II/common/scripts/expand_instantiations.cc b/deal.II/common/scripts/expand_instantiations.cc index e32d697c1d..bad978db62 100644 --- a/deal.II/common/scripts/expand_instantiations.cc +++ b/deal.II/common/scripts/expand_instantiations.cc @@ -139,10 +139,8 @@ split_string_list (const std::string &s, } else tmp = ""; - - while ((name.length() != 0) && - (name[0] == ' ')) - name.erase (0,1); + + skip_space (name); while (name[name.length()-1] == ' ') name.erase (name.length()-1, 1); -- 2.39.5