From e2e7919427f4815585e61a427b7abd1070c5f218 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sun, 24 May 2020 19:34:27 +0200
Subject: [PATCH] Fixed links in GSPN doc

---
 doc/source/doc/gspns.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/source/doc/gspns.rst b/doc/source/doc/gspns.rst
index 1af0fae..f5847e6 100644
--- a/doc/source/doc/gspns.rst
+++ b/doc/source/doc/gspns.rst
@@ -4,7 +4,7 @@ Generalized Stochastic Petri Nets
 
 Loading GSPNs
 ==============
-.. seealso:: `01-gspn.py <https://github.com/moves-rwth/stormpy/blob/master/examples/gspns/01-gspn.py>`_
+.. seealso:: `01-gspns.py <https://github.com/moves-rwth/stormpy/blob/master/examples/gspns/01-gspns.py>`_
 
 
 Generalized stochastic Petri nets can be given either in the PNPRO format or in the PNML format.
@@ -32,7 +32,7 @@ After loading, we can display some properties of the GSPN::
 
 Building GSPNs
 =============================
-.. seealso:: `02-gspn.py <https://github.com/moves-rwth/stormpy/blob/master/examples/gspns/02-gspn.py>`_
+.. seealso:: `02-gspns.py <https://github.com/moves-rwth/stormpy/blob/master/examples/gspns/02-gspns.py>`_
 
 In the following, we describe how to construct GSPNs via the ``GSPNBuilder``.
 First, we create an instance of the ``GSPNBuilder`` and set the name of the GSPN::