From a09706fa85a31ac2a2c5b09051b4636c908b6e13 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 22 Oct 2020 14:49:39 +0200
Subject: [PATCH] Update INSTALL for 22.0-Titanium

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 0ef93eeabc2..b9d1bf2c5b6 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -92,7 +92,7 @@ why3 config --detect
 ### Reference configuration
 
 See file [reference-configuration.md](reference-configuration.md)
-for a set of packages that is known to work with Frama-C 21 (Scandium).
+for a set of packages that is known to work with Frama-C 22 (Titanium).
 
 ### Installing Custom Versions of Frama-C
 
-- 
GitLab