Update install.md

succinctlabs · Feb 12, 2024 · 0263339 · 0263339
1 parent 47d23a5
commit 0263339
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/book/getting-started/install.md b/book/getting-started/install.md
@@ -48,7 +48,7 @@ cargo prove build-toolchain
 
 Building the toolchain can take a while, ranging from 30 mins to an hour depending on your machine.
 
-To verify the installation of the tooolchain, run and make sure you see `succinct`:
+To verify the installation of the tooolchain, run and make sure you see `curta`:
 
 ```bash
 rustup toolchain list
@@ -57,5 +57,5 @@ rustup toolchain list
 You can delete your existing installation of the toolchain with:
 
 ```bash
-rustup toolchain remove succinct
-```
+rustup toolchain remove curta
+```