Using `#[cfg(kani)]` results in a warning about kani HOT 1 CLOSED

diff --git a/kani-driver/src/call_single_file.rs b/kani-driver/src/call_single_file.rs
index 07899c8c489..90b3f3a58d2 100644
--- a/kani-driver/src/call_single_file.rs
+++ b/kani-driver/src/call_single_file.rs
@@ -133,6 +133,7 @@ pub fn kani_rustc_flags(&self) -> Vec<OsString> {
                 "panic_abort_tests=yes",
                 "-Z",
                 "mir-enable-passes=-RemoveStorageMarkers",
+                "--check-cfg=cfg(kani)"
             ]
             .map(OsString::from),
         );