diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst index 857072d..3f2505b 100644 --- a/doc/source/getting_started.rst +++ b/doc/source/getting_started.rst @@ -54,7 +54,7 @@ Moreover, initial states and deadlocks are indicated with a labelling function. >>> print("Labels: {}".format(model.labeling.get_labels())) Labels: ... -We will investigate ways to examine the model in more detail in :ref:`getting-started-investigating-the-model` +We will investigate ways to examine the model in more detail in :ref:`getting-started-investigating-the-model`. Building properties