From 31b50d76e9c08bbd0d445cbad6d918e279d956b7 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Jul 2019 14:22:48 +0200
Subject: [PATCH] clearer error message
---
src/storm-parsers/parser/ValueParser.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm-parsers/parser/ValueParser.cpp b/src/storm-parsers/parser/ValueParser.cpp
index 61cd5c0ac..918c89bac 100644
--- 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<>