From d58995e385a35e940a6c8d4897b318229f60285d Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 15 Jul 2021 06:44:53 +0000
Subject: [PATCH] Update get-frama-c.html

---
 html/get-frama-c.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 085b222b..beda8531 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -62,7 +62,7 @@ sudo apt upgrade
 sudo apt install make m4 gcc opam
 
 <span class="shell-win-comment"># 2. opam setup</span>
-opam init --disable-sandboxing -c 4.07.1 --shell-setup
+opam init --disable-sandboxing --shell-setup
 eval $(opam env)
 opam install -y depext
 
-- 
GitLab