From 11ed073632debbda5bcaedead451845be5ff37ab Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 5 Mar 2020 16:47:15 +0100
Subject: [PATCH] Making storm-dft compile again...

---
 src/storm-dft/settings/modules/FaultTreeSettings.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft/settings/modules/FaultTreeSettings.cpp b/src/storm-dft/settings/modules/FaultTreeSettings.cpp
index f6e2517c6..5a6cc7243 100644
--- a/src/storm-dft/settings/modules/FaultTreeSettings.cpp
+++ b/src/storm-dft/settings/modules/FaultTreeSettings.cpp
@@ -62,7 +62,7 @@ namespace storm {
             }
 
             bool FaultTreeSettings::useSymmetryReduction() const {
-                return !this->getOption(symmetryReductionOptionName).getHasOptionBeenSet();
+                return !this->getOption(noSymmetryReductionOptionName).getHasOptionBeenSet();
             }
 
             bool FaultTreeSettings::useModularisation() const {