diff --git a/dune/stuff/common/configuration.hh b/dune/stuff/common/configuration.hh index 16457e46496aa6c39e9f00eec910f8c18ba2854a..4b4ba101ed668fac4817d2ec9ac818c76c2ad5c6 100644 --- a/dune/stuff/common/configuration.hh +++ b/dune/stuff/common/configuration.hh @@ -247,7 +247,9 @@ public: { if (!has_key(key)) DUNE_THROW(Exceptions::configuration_error, - "Configuration does not have this key and there was no default value provided"); + "This configuration (see below) does not contain the key '" << key << "' and there was no default " + << "value provided!\n\n" + << report_string()); return get_valid_value<T, ValidateAny<T>>(key, T(), ValidateAny<T>(), size, cols); } // ... get(...)