Update CHANGELOG.md

Co-authored-by: Adrian Palacios <[email protected]>

CHANGELOG.md

@@ -9,7 +9,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 ## What's Changed
 
 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in https://github.com/model-checking/kani/pull/3134
-* Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169
+* Remove `kani::Arbitrary` from the `modifies` contract instrumentation by @feliperodri in https://github.com/model-checking/kani/pull/3169
 * Emit source locations whenever possible to ease debugging and coverage reporting by @tautschnig in https://github.com/model-checking/kani/pull/3173
 * Fix cargo audit error by @jaisnan in https://github.com/model-checking/kani/pull/3160
 * Rust toolchain upgraded to `nightly-2024-04-21` by @celinval