From 50bbe1048fba928c9cc83352ed5f5a3d2e510846 Mon Sep 17 00:00:00 2001 From: Qinyuan Wu Date: Fri, 13 Sep 2024 19:32:45 -0700 Subject: [PATCH] revert to kani_core --- doc/src/tools/kani.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/tools/kani.md b/doc/src/tools/kani.md index 22334f8e1c328..473803e9c0582 100644 --- a/doc/src/tools/kani.md +++ b/doc/src/tools/kani.md @@ -60,7 +60,7 @@ For example, insert this short blob into a rust file named `example.rs` inside y ``` rust #[cfg(kani)] -use crate::kani; +kani_core::kani_lib!(core); #[cfg(kani)] #[unstable(feature = "kani", issue = "none")]