fix book syntax

FStarLang · Dec 4, 2024 · 0c6a372 · 0c6a372
1 parent 1b16987
commit 0c6a372
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