diff --git a/src/storage/DeterministicModelStrongBisimulationDecomposition.h b/src/storage/DeterministicModelStrongBisimulationDecomposition.h index c34d72be2..c2fdec62e 100644 --- a/src/storage/DeterministicModelStrongBisimulationDecomposition.h +++ b/src/storage/DeterministicModelStrongBisimulationDecomposition.h @@ -73,7 +73,7 @@ namespace storm { class Block { public: - typedef typename std::list::const_iterator iterator; + typedef typename std::list::iterator iterator; typedef typename std::list::const_iterator const_iterator; // Creates a new block with the given begin and end.