From 37d82d4e0ce2457e10f876bdbeea58183e559ede Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 4 Apr 2019 17:04:07 +0200
Subject: [PATCH] Fixed typo in doc

---
 doc/source/doc/shortest_paths.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/doc/shortest_paths.rst b/doc/source/doc/shortest_paths.rst
index a727950..6001a5d 100644
--- a/doc/source/doc/shortest_paths.rst
+++ b/doc/source/doc/shortest_paths.rst
@@ -18,7 +18,7 @@ It is crucial to note that *any* path is eligible, including those that (repeate
 Examining Shortest Paths
 ========================
 
-.. seealso:: `07-shortest-paths.py <https://github.com/moves-rwth/stormpy/blob/master/examples/shortest_paths/01-shortest-paths.py>`_
+.. seealso:: `01-shortest-paths.py <https://github.com/moves-rwth/stormpy/blob/master/examples/shortest_paths/01-shortest-paths.py>`_
 
 As in :doc:`../getting_started`, we import some required modules and build a model from the example files::