Make clippy happy

model-checking · Jul 8, 2024 · ec9c390 · ec9c390
1 parent 71c8313
commit ec9c390
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/kani_core/src/mem.rs b/library/kani_core/src/mem.rs
@@ -308,7 +308,7 @@ macro_rules! kani_mem {
 
  /// Get the object ID of the given pointer.
  #[doc(hidden)]
- #[crate::unstable(
+ #[$crate::unstable(
  feature = "ghost-state",
  issue = 3184,
  reason = "experimental ghost state/shadow memory API"
@@ -321,7 +321,7 @@ macro_rules! kani_mem {
 
  /// Get the object offset of the given pointer.
  #[doc(hidden)]
- #[crate::unstable(
+ #[$crate::unstable(
  feature = "ghost-state",
  issue = 3184,
  reason = "experimental ghost state/shadow memory API"