From e933df1fc1364e50ad4d89f4636a8815c653e4f7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 10 Aug 2020 18:41:14 +0200
Subject: [PATCH] Fixed parsing of ' in GalileoParser

---
 src/storm-dft/parser/DFTGalileoParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft/parser/DFTGalileoParser.cpp b/src/storm-dft/parser/DFTGalileoParser.cpp
index 9e7e5f146..6fd0ec390 100644
--- a/src/storm-dft/parser/DFTGalileoParser.cpp
+++ b/src/storm-dft/parser/DFTGalileoParser.cpp
@@ -148,7 +148,7 @@ namespace storm {
                             ValueType probability = valueParser.parseValue(type.substr(5));
                             success = builder.addDepElement(name, childNames, probability);
                         } else if (type.find("=") != std::string::npos) {
-                            success = parseBasicElement(name, line, lineNo, builder, valueParser);
+                            success = parseBasicElement(tokens[0], line, lineNo, builder, valueParser);
                         } else if (type.find("insp") != std::string::npos) {
                             // Inspection as defined by DFTCalc
                             STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Inspections (defined in line " << lineNo << ") are not supported.");