diff --git a/Changelog b/Changelog
index fc3cf71fb0f44a67df9c7cfc94a7c9c177801d46..7ff56e51e8ceefcad268933ad035be97f48e547a 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   ACSL      [2019/03/08] Add check annotation, similar to assert except that
+              it does not introduce additional hypotheses on the program state
 -*  Makefile  [2019/03/07] Do not attempt to install .cmx on bytecode-only
               architectures. Patch by M. Dogguy backported from Debian package
 -*  Kernel    [2019/03/05] Better detection of invalid goto in presence of VLA