diff --git a/INSTALL.md b/INSTALL.md index 0ef93eeabc28e91fd91eff3b62ce79e9d0b0a66f..b9d1bf2c5b67a80763f03d29cb69445bf4d9acfb 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