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::