diff --git a/src/storage/DeterministicModelBisimulationDecomposition.cpp b/src/storage/DeterministicModelBisimulationDecomposition.cpp index 6e974f58c..b20311ba9 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 const&)> projection = [] (std::pair 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), true); + this->blocks[block.getId()] = block_type(boost::make_transform_iterator(partition.getBegin(block), projection), boost::make_transform_iterator(partition.getEnd(block), projection), false); } // If we are required to build the quotient model, do so now. @@ -1493,4 +1493,4 @@ namespace storm { template class DeterministicModelBisimulationDecomposition; #endif } -} \ No newline at end of file +}