diff --git a/docs/Installation.md b/docs/Installation.md index e46be29151..d52c789809 100644 --- a/docs/Installation.md +++ b/docs/Installation.md @@ -244,4 +244,4 @@ To separately compile and run your program for Python: ### Rust To setup Dafny to compile to Rust: -* Install Rust from stup https://rustup.rs/ +* Install Rust from https://rustup.rs/