From 97b14e35d5f38fa722a258167f585e33edd60327 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 23 Nov 2018 18:22:44 +0100
Subject: [PATCH] Small renaming

---
 src/storm-dft/parser/DFTGalileoParser.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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<typename ValueType>
         std::pair<bool, ValueType> DFTGalileoParser<ValueType>::parseValue(std::string name, std::string& line, ValueParser<ValueType>& 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<typename ValueType>
         std::pair<bool, unsigned> DFTGalileoParser<ValueType>::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<unsigned>::parse(value));
             } else {
                 // No match found