From 9376de26c928b8b96cc9a40c518fe8d4233e2e7c Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 22 Nov 2018 11:07:25 +0100
Subject: [PATCH] Fixed typo

---
 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 c837c244d..79794f263 100644
--- a/src/storm-dft/parser/DFTGalileoParser.cpp
+++ b/src/storm-dft/parser/DFTGalileoParser.cpp
@@ -235,7 +235,7 @@ namespace storm {
             }
             // Erlang distribution
             std::pair<bool, unsigned> resultNum = parseNumber("phases", line);
-            if (result.first) {
+            if (resultNum.first) {
                 STORM_LOG_THROW(distribution == Distribution::None || distribution == Distribution::Exponential, storm::exceptions::WrongFormatException, "A different distribution was already defined for this basic element.");
                 erlangPhases = resultNum.second;
                 distribution = Distribution::Erlang;