From 807a6a594b74c3067b5aa7b3b37b6c264ab38b8e Mon Sep 17 00:00:00 2001
From: Jorrit Fahlke <joe@dune-project.org>
Date: Sun, 7 Feb 2010 21:19:24 +0000
Subject: [PATCH] When reporting, don't report a keys group as a prefix to the
 key "group.key = ..." in addition to the section header "[ group ]".

Please merge to release.

[[Imported from SVN: r5888]]
---
 dune/common/configparser.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune/common/configparser.cc b/dune/common/configparser.cc
index dad996f85..1cd051815 100644
--- a/dune/common/configparser.cc
+++ b/dune/common/configparser.cc
@@ -125,7 +125,7 @@ void ConfigParser::report(const string prefix) const
   ValueIt vend = values.end();
 
   for(; vit!=vend; ++vit)
-    cout << prefix + vit->first << " = \"" << vit->second << "\"" << endl;
+    cout << vit->first << " = \"" << vit->second << "\"" << endl;
 
   typedef map<string, ConfigParser>::const_iterator SubIt;
   SubIt sit = subs.begin();
-- 
GitLab