From bdd7dd37b8dbd7ddeb30d1f3ff8a0c0934c29cc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 7 Oct 2020 17:02:46 +0200
Subject: [PATCH] [kernel] reference config with alt-ergo 2.2.0

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

diff --git a/reference-configuration.md b/reference-configuration.md
index bd5f5d3d5ba..ac25beb9709 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -2,7 +2,7 @@ The following set of packages is known to be a working configuration for
 compiling Frama-C+dev, on a machine with gcc <= 9[^gcc-10]
 
 - OCaml 4.08.1
-- alt-ergo.2.3.3 (for wp, optional)
+- alt-ergo.2.2.0 (for wp, optional)
 - apron.v0.9.12 (for eva, optional)
 - lablgtk.2.18.11 | lablgtk3.3.1.1 + lablgtk3-sourceview3.3.1.1
 - mlgmpidl.1.2.12 (for eva, optional)
-- 
GitLab