Mention in CHANGELOG

model-checking · Nov 6, 2023 · c460a29 · c460a29
1 parent 4f711c8
commit c460a29
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,12 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.)
 
 This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards.
 
+## [0.41.0]
+
+### Breaking Changes
+
+* Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in https://github.com/model-checking/kani/pull/2860
+
 ## [0.40.0]
 
 ### What's Changed