From d78c86a7461a1827834a5638434dd6b43c7c60b1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 2 Aug 2017 17:36:58 +0200
Subject: [PATCH] Removed type in getting_started

---
 doc/source/getting_started.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst
index 5c6dfeb..8d2424e 100644
--- a/doc/source/getting_started.rst
+++ b/doc/source/getting_started.rst
@@ -139,7 +139,6 @@ In order to obtain a standard DTMC, MDP or other Markov model, we need to instan
 
     >>> import stormpy.pars
     >>> instantiator = stormpy.pars.PDtmcInstantiator(model)
-    >>> Fase
 
 Before we obtain an instantiated model, we need to map parameters to values: We build such a dictionary as follows::