diff --git a/Changelog b/Changelog index 28fc8cd5ea97a3cd4a75d1ad6c4fdc4b39895a55..9cd7ecb6b996cac6d43729d087676c4b05ea746a 100644 --- a/Changelog +++ b/Changelog @@ -21,7 +21,7 @@ Open Source Release <next-release> o Kernel [2022-02-23] New visitor functions visitFramacFileFunctions and visitCilFileFunctions to visit only function definitions, for better performance. -o! [kernel] [2022-02-23] Remove State_selection.Static (deprecated since +o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since 10 years, use directly State_selection instead) -* Kernel [2022-02-22] Fix list of potential types for decimal integer literal constants