From b6ec5b91726aa74142e4f0c22601496e0d7d8cf6 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Wed, 17 Jul 2024 22:18:32 +0000
Subject: [PATCH] Missing important rename

---
 library/kani_macros/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/kani_macros/src/lib.rs b/library/kani_macros/src/lib.rs
index f1c4494af5d7..4e3a8d6f9f5b 100644
--- a/library/kani_macros/src/lib.rs
+++ b/library/kani_macros/src/lib.rs
@@ -159,7 +159,7 @@ pub fn unstable_feature(attr: TokenStream, item: TokenStream) -> TokenStream {
 /// `kani::cover!(...)` checks and watching out for unreachable assertions in
 /// their project's code.
 #[proc_macro_error]
-#[proc_macro_derive(Arbitrary, attributes(invariant))]
+#[proc_macro_derive(Arbitrary, attributes(safety_constraint))]
 pub fn derive_arbitrary(item: TokenStream) -> TokenStream {
     derive::expand_derive_arbitrary(item)
 }
@@ -213,7 +213,7 @@ pub fn derive_arbitrary(item: TokenStream) -> TokenStream {
 /// Note: the assignments to `obj` and `inner` are made so that we can treat the
 /// fields as if they were references.
 #[proc_macro_error]
-#[proc_macro_derive(Invariant, attributes(invariant))]
+#[proc_macro_derive(Invariant, attributes(safety_constraint))]
 pub fn derive_invariant(item: TokenStream) -> TokenStream {
     derive::expand_derive_invariant(item)
 }