typo

coq-community · Jun 20, 2024 · b740c37 · b740c37
1 parent 716e4b8
commit b740c37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ The Coq Nix Toolbox has mainly two purposes:
    This CI uses the Nix packaging system and a caching mechanism called "cachix".
 
 2. It generates configurations so that dependencies are handled by the shell.
-   The shell in questions is called "nix-shell",
+   The shell in question is called "nix-shell",
    the configurations are called "bundles", and
    local compilation is optimized using caching as provided by "cachix".