From 08ac566db23f83ade00ff461dca9dfe3f789e008 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 21 Oct 2014 22:11:41 +0200
Subject: [PATCH] Corrected typedef. Clang and gcc should now also be fine
 under Linux.

Former-commit-id: 46f8d43d473ad5be2763f9fce13ef616f91d66d3
---
 src/storage/DeterministicModelStrongBisimulationDecomposition.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<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.