From 8ddbdc43bc0d4a2157cf2751d95e544a70fdabba Mon Sep 17 00:00:00 2001 From: Andrea Lattuada Date: Mon, 19 Aug 2024 23:07:26 +0200 Subject: [PATCH] minor edit --- milli/setup/verifiers.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/milli/setup/verifiers.sh b/milli/setup/verifiers.sh index da1b983..e8ef80f 100644 --- a/milli/setup/verifiers.sh +++ b/milli/setup/verifiers.sh @@ -22,7 +22,7 @@ git clone https://github.com/xldenis/creusot.git # Fstar ( eval $(opam env --switch=4.14.1); \ - opam pin add fstar.2023.09.03~dev 'git+https://github.com/FStarLang/FStar.git#1de49aed9db7d0760c866139ec11715b04607f3f' + opam pin add fstar.2023.09.03~dev 'git+https://github.com/FStarLang/FStar.git#1de49aed9db7d0760c866139ec11715b04607f3f' -y ) # Prusti