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")]