minor edit

verus-lang · Aug 19, 2024 · 8ddbdc4 · 8ddbdc4
1 parent 4a565a9
commit 8ddbdc4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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