diff --git a/Changelog b/Changelog
index 07e7c482018a3e91ba9ab4aee09a1eecd4f9c4b7..d7d0e3c178a1f291f4710b788a05db69e43fd5a9 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2020/03/03] Evaluates the logic predicate memchr_off, used in
+              Frama-C libc specifications.
 -   Eva       [2020/03/03] Slightly better heuristics for the subdivision of
               evaluations (option -eva-subdivide-non-linear).
 -   Instantiate [2020/03/02] New plug-in Instantiate, to create function