Fix typo --lock -> --locked (rust-lang#1324)

owenthewizard · web-flow · commit e2e786c02655 · 2022-06-30T10:30:22.000-05:00
diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
@@ -30,7 +30,7 @@ The second step (`cargo-kani setup`) will download the Kani compiler and other n
 ## Installing an older version
 
 ```bash
-cargo install --lock kani-verifier --version <VERSION>
+cargo install --locked kani-verifier --version <VERSION>
 cargo-kani setup
 ```
 
