diff --git a/dune/common/parametertreeparser.cc b/dune/common/parametertreeparser.cc index 0c6e559db42ae14c2e62e459ef717fc47b284290..0eda2a1e636a12340627363f8bc81127aa3eefa4 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 {