Update install.md

succinctlabs · Jan 12, 2025 · 4154851 · 4154851
1 parent 931a3f3
commit 4154851
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book/docs/getting-started/install.md b/book/docs/getting-started/install.md
@@ -93,7 +93,7 @@ git clone [email protected]:succinctlabs/sp1.git
 cd sp1
 cd crates
 cd cli
-cargo install --locked --path .
+cargo install --locked--force --path .
 cd ~
 cargo prove build-toolchain
 ```