From 7e14dc031b89364a232231be6c88f3c33c62d7a2 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 26 Feb 2015 13:35:10 +0100
Subject: [PATCH] Reverted the last commit. The flag is there for performance
 reasons and there is no reason why it shouldn't work that way.

Former-commit-id: e551eb461f3952a7f94e8fb7f27221526f5c35d3
---
 src/storage/DeterministicModelBisimulationDecomposition.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/DeterministicModelBisimulationDecomposition.cpp b/src/storage/DeterministicModelBisimulationDecomposition.cpp
index b20311ba9..58d7c618e 100644
--- a/src/storage/DeterministicModelBisimulationDecomposition.cpp
+++ b/src/storage/DeterministicModelBisimulationDecomposition.cpp
@@ -875,7 +875,7 @@ namespace storm {
                 
                 // Convert the state-value-pairs to states only.
 				std::function<storm::storage::sparse::state_type (std::pair<storm::storage::sparse::state_type, ValueType> const&)> projection = [] (std::pair<storm::storage::sparse::state_type, ValueType> const& a) -> storm::storage::sparse::state_type { return a.first; };
-				this->blocks[block.getId()] = block_type(boost::make_transform_iterator(partition.getBegin(block), projection), boost::make_transform_iterator(partition.getEnd(block), projection), false);
+				this->blocks[block.getId()] = block_type(boost::make_transform_iterator(partition.getBegin(block), projection), boost::make_transform_iterator(partition.getEnd(block), projection), true);
             }
             
             // If we are required to build the quotient model, do so now.