From 389331b28fd2a3f805a5532f4c8131999ef21c81 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 1 Dec 2020 10:48:32 +0100 Subject: [PATCH] Doc: typo --- doc/source/installation.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/installation.rst b/doc/source/installation.rst index 5f16028..f12581d 100644 --- a/doc/source/installation.rst +++ b/doc/source/installation.rst @@ -54,7 +54,7 @@ In short you can create a virtual environment ``env`` with:: $ source env/bin/activate The last step activates the virtual environment. -Whenever using the environment the console prompt is prefixed with ``(env)``. +Whenever using the environment, the console prompt is prefixed with ``(env)``. Building stormpy