From 9911824e4940d1c126ab06889660009c42dd4934 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 28 Sep 2017 11:11:10 +0200 Subject: [PATCH] Fixed typo in doc --- doc/source/getting_started.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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