Remove install creusot-rustc from the upgrade instructions

creusot-rs · Jan 24, 2025 · 62e10cf · 62e10cf
1 parent 83d2ec2
commit 62e10cf
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: