From aa4836e08517a41a075d59aa9bc33f3c215e7c2d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 26 Oct 2014 16:47:36 +0100
Subject: [PATCH] Minor bugfix in bisimulation options.

Former-commit-id: 7a579aef50a2edb287292724201b174f10196181
---
 src/settings/modules/BisimulationSettings.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/settings/modules/BisimulationSettings.cpp b/src/settings/modules/BisimulationSettings.cpp
index 4e2f3975e..291b9c9b5 100644
--- a/src/settings/modules/BisimulationSettings.cpp
+++ b/src/settings/modules/BisimulationSettings.cpp
@@ -29,10 +29,8 @@ namespace storm {
             }
             
             bool BisimulationSettings::check() const {
-                bool optionsSet = isStrongBisimulationSet() || isWeakBisimulationSet();
-                
+                bool optionsSet = this->getOption(typeOptionName).getHasOptionBeenSet();
                 STORM_LOG_WARN_COND(storm::settings::generalSettings().isBisimulationSet() || !optionsSet, "Bisimulation minimization is not selected, so setting options for bisimulation has no effect.");
-                
                 return true;
             }
         } // namespace modules