Merge pull request #501 from FStarLang/protz_book

fix book syntax
FStarLang · Dec 4, 2024 · 21fea06 · 21fea06
2 parents 1b16987 + 0c6a372
commit 21fea06
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/book/Setup.rst b/book/Setup.rst
@@ -37,6 +37,7 @@ script for that purpose:
 For a nix flake based install use
 
 .. code-block:: bash
+
   $ nix shell 
 
 In any case, remember to export suitable values for the ``FSTAR_HOME`` and