From d813851897616defc19d92d702268ca896b24906 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 8 Mar 2017 13:13:25 +0100 Subject: [PATCH] Small fix --- src/storm-dft/parser/DFTJsonParser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-dft/parser/DFTJsonParser.cpp b/src/storm-dft/parser/DFTJsonParser.cpp index 83710b482..ac4e094ff 100644 --- a/src/storm-dft/parser/DFTJsonParser.cpp +++ b/src/storm-dft/parser/DFTJsonParser.cpp @@ -43,8 +43,8 @@ namespace storm { json parameters = parsedJson.at("parameters"); #ifdef STORM_HAVE_CARL - STORM_LOG_THROW((std::is_same::value), storm::exceptions::NotSupportedException, "Parameters only allowed when using rational functions."); for (auto it = parameters.begin(); it != parameters.end(); ++it) { + STORM_LOG_THROW((std::is_same::value), storm::exceptions::NotSupportedException, "Parameters only allowed when using rational functions."); std::string parameter = it.key(); storm::expressions::Variable var = manager->declareRationalVariable(parameter); identifierMapping.emplace(var.getName(), var);