From 249a15eda990547fb55440b666b63acb2a5833fb Mon Sep 17 00:00:00 2001 From: jtristan Date: Wed, 24 Apr 2024 10:00:42 -0400 Subject: [PATCH] changed elan install --- scripts/prep.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/prep.sh b/scripts/prep.sh index 7458a907..38ac278a 100755 --- a/scripts/prep.sh +++ b/scripts/prep.sh @@ -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