From f6300b4ba89824447043aa7605de0ac1ecddb8fd Mon Sep 17 00:00:00 2001
From: jtristan <trjohnb@amazon.com>
Date: Thu, 25 Apr 2024 09:35:18 -0400
Subject: [PATCH] Trying Lean4 install

---
 scripts/prep.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/prep.sh b/scripts/prep.sh
index f56b230b..6daaa2fa 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -8,8 +8,7 @@ unzip `basename $VERSION`
 pushd SampCert
 set -o pipefail
 curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-./elan-init -y --default-toolchain none
-elan toolchain install leanprover/lean4:v4.7.0
+./elan-init -y --default-toolchain leanprover/lean4:v4.7.0
 echo "$HOME/.elan/bin" >> $GITHUB_PATH
 lake build VMC
 popd