From c460a29c78a68b466b18910d8d26f01d544f6af7 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Mon, 6 Nov 2023 12:15:17 -0800 Subject: [PATCH] Mention in CHANGELOG --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ff4343d5f3b2..d93685e865be 100644 --- 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