From 3e9e62d2ed821e307ad65dbc84bd41061b00ecae Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 9 Apr 2019 11:13:30 +0200
Subject: [PATCH] [Changelog] update Changelog w.r.t. !2221
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index acdfc594a36..72d99563994 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+-* Obfuscator [2019/04/09] Also obfuscate formals in function pointer types.
+ Fixes #2433.
- Inout [2019/04/01] Fix performance issue when initializing large arrays.
- ACSL [2019/03/08] Add check annotation, similar to assert except that
it does not introduce additional hypotheses on the program state
--
GitLab