From 63ecbd3f923482cadcc23d5f52f8fe0aaaa1f696 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Fri, 7 Mar 2014 00:05:01 +0100
Subject: [PATCH] [parametertree] use the new ParameterTreeParserError also in
 the exisiting parser code

---
 dune/common/parametertreeparser.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune/common/parametertreeparser.cc b/dune/common/parametertreeparser.cc
index 0c6e559db..0eda2a1e6 100644
--- a/dune/common/parametertreeparser.cc
+++ b/dune/common/parametertreeparser.cc
@@ -117,7 +117,7 @@ void Dune::ParameterTreeParser::readINITree(std::istream& in,
         }
 
         if (keysInFile.count(key) != 0)
-          DUNE_THROW(Exception, "Key '" << key <<
+          DUNE_THROW(ParameterTreeParserError, "Key '" << key <<
                      "' appears twice in " << srcname << " !");
         else
         {
-- 
GitLab