From 470fed52a1a83443dab57171b7cdf4d64dce4225 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 26 Sep 2020 12:02:23 -0700
Subject: [PATCH] =?UTF-8?q?Fix=20in=20the=20Maze=20MDP=20(Thanks=20to=20Pa?=
 =?UTF-8?q?trick=20Wienh=C3=B6ft)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lib/stormpy/examples/files/mdp/maze_2.nm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/stormpy/examples/files/mdp/maze_2.nm b/lib/stormpy/examples/files/mdp/maze_2.nm
index 396c48b..215cac5 100644
--- a/lib/stormpy/examples/files/mdp/maze_2.nm
+++ b/lib/stormpy/examples/files/mdp/maze_2.nm
@@ -91,10 +91,11 @@ module maze
 	[north] s=9 -> (s'=6);
 	[south] s=9 -> (s'=13);
 
-	[east] s=10 -> (s'=9);
-	[west] s=10 -> (s'=9);
+	[east] s=10 -> (s'=10);
+	[west] s=10 -> (s'=10);
 	[north] s=10 -> (s'=7);
 	[south] s=10 -> (s'=12);
+
 	[east] s=11 -> (s'=11);
 	[west] s=11 -> (s'=11);
 	[north] s=11 -> (s'=8);