diff --git a/src/storm-dft/parser/DFTGalileoParser.cpp b/src/storm-dft/parser/DFTGalileoParser.cpp index 79794f263..51d970700 100644 --- a/src/storm-dft/parser/DFTGalileoParser.cpp +++ b/src/storm-dft/parser/DFTGalileoParser.cpp @@ -174,12 +174,12 @@ namespace storm { template std::pair DFTGalileoParser::parseValue(std::string name, std::string& line, ValueParser& valueParser) { // Build regex for: name=(value) - std::regex lambdaRegex(name + "\\s*=\\s*([^\\s]*)"); + std::regex nameRegex(name + "\\s*=\\s*([^\\s]*)"); std::smatch match; - if (std::regex_search(line, match, lambdaRegex)) { + if (std::regex_search(line, match, nameRegex)) { std::string value = match.str(1); // Remove matched part - line = std::regex_replace(line, lambdaRegex, ""); + line = std::regex_replace(line, nameRegex, ""); return std::make_pair(true, valueParser.parseValue(value)); } else { // No match found @@ -190,12 +190,12 @@ namespace storm { template std::pair DFTGalileoParser::parseNumber(std::string name, std::string& line) { // Build regex for: name=(number) - std::regex lambdaRegex(name + "\\s*=\\s*([[:digit:]]+)"); + std::regex nameRegex(name + "\\s*=\\s*([[:digit:]]+)"); std::smatch match; - if (std::regex_search(line, match, lambdaRegex)) { + if (std::regex_search(line, match, nameRegex)) { std::string value = match.str(1); // Remove matched part - line = std::regex_replace(line, lambdaRegex, ""); + line = std::regex_replace(line, nameRegex, ""); return std::make_pair(true, NumberParser::parse(value)); } else { // No match found