diff --git a/library/kani/src/lib.rs b/library/kani/src/lib.rs
index 1da6a4655018..d2959e548417 100644
--- a/library/kani/src/lib.rs
+++ b/library/kani/src/lib.rs
@@ -146,7 +146,7 @@ pub const fn assert(cond: bool, msg: &'static str) {
 ///
 #[inline(never)]
 #[rustc_diagnostic_item = "KaniCover"]
-pub fn cover(_cond: bool, _msg: &'static str) {}
+pub const fn cover(_cond: bool, _msg: &'static str) {}
 
 /// This creates an symbolic *valid* value of type `T`. You can assign the return value of this
 /// function to a variable that you want to make symbolic.