Skip to content

Commit

Permalink
changed elan install
Browse files Browse the repository at this point in the history
  • Loading branch information
@jtristan
jtristan committed Apr 24, 2024
1 parent d6e159b commit 249a15e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/prep.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@ VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0
wget $VERSION
unzip `basename $VERSION`

curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf -y | sh

0 comments on commit 249a15e

Please sign in to comment.