From 6d209531112e2365c914d60f8cce0e1190469fb8 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 13 Jul 2021 19:20:17 +0200
Subject: [PATCH] [e-acsl] changelog

---
 src/plugins/e-acsl/doc/Changelog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 631226b2fe3..667f9feeecb 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,9 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-* E-ACSL       [2021-07-13] Fix crash when encountering a GMP value in a loop
+                variant (frama-c/e-acsl#169).
+
 #############################
 Plugin E-ACSL 23.0 (Vanadium)
 #############################
-- 
GitLab