Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
  • Loading branch information
@tautschnig @zhassan-aws
tautschnig and zhassan-aws authored Oct 4, 2023
1 parent 5d1d982 commit a96e344
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit a96e344

Please sign in to comment.