From c9226d13986dde98d2b6724a8a0d91590e13045d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 24 May 2019 09:31:28 +0200
Subject: [PATCH] changelog
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index 500b14a66b3..b26eccb84dc 100644
--- a/Changelog
+++ b/Changelog
@@ -21,6 +21,7 @@ Open Source Release <next-release>
Open Source Release 19.0 (Potassium)
####################################
+-* RTE [2019/05/24] fixes a crash when visiting variable declarations
- Eva [2019/04/19] The new annotation /*@ split exp; */ enumerates the
possible values of an expression and continues the analysis
for each of these value separately, until a /*@ merge exp; */
--
GitLab