From ca8fbdba1825e90f144aae4100cf84b70535fad4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 1 Sep 2019 02:12:09 +0200 Subject: [PATCH] doc: specify that ltl2ba is not part of SimGrid --- docs/source/Configuring_SimGrid.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index e05bfc3aa6..f1360d2dad 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -520,8 +520,8 @@ Specifying a liveness property If you want to specify liveness properties, you have to pass them on the command line, specifying the name of the file containing the -property, as formatted by the ltl2ba program. - +property, as formatted by the ltl2ba program. Note that ltl2ba is not +part of SimGrid and must be installed separatly. .. code-block:: shell -- 2.20.1