Remove install creusot-rustc from the upgrade instructions (#1325)

creusot-rs · Jan 24, 2025 · 72c1051 · 72c1051
2 parents 83d2ec2 + 62e10cf
commit 72c1051
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -76,7 +76,6 @@ More examples are found in [creusot/tests/should_succeed](creusot/tests/should_s
    ```
 3. Rebuild and reinstall Creusot:
    ```
-   $ cargo install --path creusot-rustc
    $ cargo install --path cargo-creusot
    ```
 4. Re-run Creusot's setup: