From 9a1656eb6fe7f3abcdd9d5b6d9898cbd198f4784 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 27 May 2020 18:09:12 +0200
Subject: [PATCH] Changed expected output for POMDP exploration example

---
 doc/source/doc/exploration.rst | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/doc/source/doc/exploration.rst b/doc/source/doc/exploration.rst
index aac93fd..d53eb3a 100644
--- a/doc/source/doc/exploration.rst
+++ b/doc/source/doc/exploration.rst
@@ -92,8 +92,7 @@ Additionally, POMDPs have a set of observations, which are internally just numbe
     State 11 has observation id 0
     State 12 has observation id 2
     State 13 has observation id 2
-    State 14 has observation id 4
-    State 15 has observation id 5
+    State 14 has observation id 5
 
 
 Sorting states
@@ -111,4 +110,4 @@ Storm supports some of these sorting algorithms, e.g., topological sort.
 Reading MAs
 ======================
 
-To be continued...
\ No newline at end of file
+To be continued...