clearer error message

6 years ago · 31b50d76e9
1 changed files with 1 additions and 1 deletions
--- a/src/storm-parsers/parser/ValueParser.cpp
+++ b/src/storm-parsers/parser/ValueParser.cpp
@ -7,7 +7,7 @@ namespace storm {
        template<typename ValueType>
        void ValueParser<ValueType>::addParameter(std::string const& parameter) {
            STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Parameters are not supported in this build.");
            STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Parameters are not supported in this build (Have you checked storm-pars?).");
        }
        template<>