From 84a04416adb51bcbd198a5dabe034355f5719711 Mon Sep 17 00:00:00 2001 From: bangerth Date: Mon, 8 Sep 2008 15:52:31 +0000 Subject: [PATCH] Avoid a problem where we were accidentally accessing a string beyond its end... git-svn-id: https://svn.dealii.org/trunk@16767 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/expand_instantiations.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/common/scripts/expand_instantiations.cc b/deal.II/common/scripts/expand_instantiations.cc index f164901dc0..26f984dd77 100644 --- a/deal.II/common/scripts/expand_instantiations.cc +++ b/deal.II/common/scripts/expand_instantiations.cc @@ -143,7 +143,7 @@ split_string_list (const std::string &s, skip_space (name); - while (name[name.length()-1] == ' ') + while ((name.size() != 0) && (name[name.length()-1] == ' ')) name.erase (name.length()-1, 1); split_list.push_back (name); -- 2.39.5