From 5903fa6d4686fb06fbc35cbf7c8b97af1bf1ce99 Mon Sep 17 00:00:00 2001 From: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com> Date: Tue, 29 Oct 2024 13:26:00 -0400 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Carolyn Zech --- doc/src/tools/kani.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/src/tools/kani.md b/doc/src/tools/kani.md index 9c1a74cb39b5d..62150d6f98588 100644 --- a/doc/src/tools/kani.md +++ b/doc/src/tools/kani.md @@ -59,7 +59,8 @@ Create a local copy of the [model-checking fork](https://github.com/model-checki `assert`, `assume`, `proof` and [function-contracts](https://github.com/model-checking/kani/blob/main/rfc/src/rfcs/0009-function-contracts.md) such as `modifies`, `requires` and `ensures`) directly. -For example, insert this module into an existing file in the core library, like `library/core/src/hint.rs` or `library/core/src/error.rs` in your copy of the library. This is just for the purpose of getting started, so you can insert in any other existing file in the core library as well. +For example, insert this module into an existing file in the core library, like `library/core/src/hint.rs` or `library/core/src/error.rs` in your copy of the library. +This is just for the purpose of getting started, so you can insert it in a different (existing) file in the core library instead. ``` rust #[cfg(kani)]