diff --git a/dumux/io/grid/gridmanager_base.hh b/dumux/io/grid/gridmanager_base.hh index 9d90cbc6e10680d58d52c09737283dfca6c2e29e..689cdb337163faa8f09968e056925fc5361c4374 100644 --- a/dumux/io/grid/gridmanager_base.hh +++ b/dumux/io/grid/gridmanager_base.hh @@ -39,6 +39,7 @@ #include #include +#include #include #include #include @@ -73,10 +74,11 @@ public: */ void init(const std::string& modelParamGroup = "") { - DUNE_THROW(Dune::NotImplemented, - "The header with the GridManager specialization for grid type " << Dune::className() - << " is not included or no specialization has been implemented!" - << " In case of the latter, consider providing your own GridManager."); + static_assert(AlwaysFalse::value, + "The header with the GridManager specialization for your grid type is not included " + "or no specialization has been implemented!" + " In case of the latter, consider providing your own GridManager." + ); } /*! @@ -129,7 +131,7 @@ public: return gridData_; } - + /*! * \brief Check whether there is data associated with the grid */