From 36b16e0ccb4ef5b0c9c1eeaf2c57d42bf19ea0a3 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 3 Aug 2017 17:35:15 +0200 Subject: [PATCH] Fix indention in getting started docs --- doc/source/getting_started.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst index dc3acc3..1ed0069 100644 --- a/doc/source/getting_started.rst +++ b/doc/source/getting_started.rst @@ -101,8 +101,8 @@ Checking properties The last lesson taught us to construct properties and models with matching state labels. Now default checking routines are just a simple command away:: - >>> properties = stormpy.parse_properties_for_prism_program(formula_str, prism_program) - >>> model = stormpy.build_model(prism_program, properties) + >>> properties = stormpy.parse_properties_for_prism_program(formula_str, prism_program) + >>> model = stormpy.build_model(prism_program, properties) >>> result = stormpy.model_checking(model, properties[0]) The result may contain information about all states.