From c417cbfe6afecb7c87017b20fb1dd57091d22966 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 20 Oct 2022 11:12:18 +0200
Subject: [PATCH] [opam] Fixes opam message about ivette installation.

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 876ded55eef..1c29e632b31 100644
--- a/opam
+++ b/opam
@@ -150,7 +150,7 @@ Recommended provers are:
 Use 'why3 config detect' to configure new provers.
  "
 "Ivette is a new GUI for Frama-C, currently in development.
-Run 'ivette' once (online) to finalize installation.
+Run 'ivette' once to finalize installation (requires an internet connection).
 Once finalized, 'ivette' will work offline.
 Finalization also requires Node v16 and Yarn:
 - install NVM (https://github.com/nvm-sh/nvm)
-- 
GitLab