From 8a7a604f4c6f770d2a1ce1fdfb78560a9ffa49ea Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 27 Nov 2018 20:34:57 +0100
Subject: [PATCH] Fixed actually taking options for non-deterministic
 bisimulation when performing non-deterministic bisimulation.

---
 src/storm/api/bisimulation.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/api/bisimulation.h b/src/storm/api/bisimulation.h
index dc7181e87..40391be2b 100644
--- a/src/storm/api/bisimulation.h
+++ b/src/storm/api/bisimulation.h
@@ -27,7 +27,7 @@ namespace storm {
         
         template<typename ModelType>
         std::shared_ptr<ModelType> performNondeterministicSparseBisimulationMinimization(std::shared_ptr<ModelType> model, std::vector<std::shared_ptr<storm::logic::Formula const>> const& formulas, storm::storage::BisimulationType type) {
-            typename storm::storage::DeterministicModelBisimulationDecomposition<ModelType>::Options options;
+            typename storm::storage::NondeterministicModelBisimulationDecomposition<ModelType>::Options options;
             if (!formulas.empty()) {
                 options = typename storm::storage::NondeterministicModelBisimulationDecomposition<ModelType>::Options(*model, formulas);
             }