From a96e3440745d6b0597348bb570d6c6facadf96b1 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 4 Oct 2023 10:57:51 +0200 Subject: [PATCH] Update CHANGELOG.md Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com> --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index f68eecaa99c2..7ff806db9de2 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,7 +8,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from ### Major Changes -* Deprecate any_slice by @zhassan-aws in https://github.com/model-checking/kani/pull/2789 +* Deprecate `any_slice` by @zhassan-aws in https://github.com/model-checking/kani/pull/2789 ### What's Changed