Corrected typedef. Clang and gcc should now also be fine under Linux.

Former-commit-id: 46f8d43d47
11 years ago · 08ac566db2
1 changed files with 1 additions and 1 deletions
--- a/src/storage/DeterministicModelStrongBisimulationDecomposition.h
+++ b/src/storage/DeterministicModelStrongBisimulationDecomposition.h
@ -73,7 +73,7 @@ namespace storm {
            class Block {
            public:
                typedef typename std::list<Block>::const_iterator iterator;
                typedef typename std::list<Block>::iterator iterator;
                typedef typename std::list<Block>::const_iterator const_iterator;
                // Creates a new block with the given begin and end.