From 59c71d82f7f7a10f401fb8170d7e5b84b0dc1941 Mon Sep 17 00:00:00 2001
From: Jon Howell <jonhnet@users.noreply.github.com>
Date: Thu, 30 Jan 2025 20:36:57 -0800
Subject: [PATCH] Add ext_equal attr to atomic state_machine! generated State
 structs (#1422)

Co-authored-by: Jon Howell <howell@vmware.com>
---
 source/state_machines_macros/src/to_token_stream.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/state_machines_macros/src/to_token_stream.rs b/source/state_machines_macros/src/to_token_stream.rs
index 0227f7cc5..fa18eac12 100644
--- a/source/state_machines_macros/src/to_token_stream.rs
+++ b/source/state_machines_macros/src/to_token_stream.rs
@@ -301,6 +301,7 @@ pub fn output_primary_stuff(
     let attrs = &bundle.sm.attrs;
     let code: TokenStream = quote_spanned! { sm.fields_named_ast.span() =>
         #[cfg_attr(verus_keep_ghost, verus::internal(verus_macro))]
+        #[verifier::ext_equal]
         #(#attrs)*
         pub struct State #gen {
             #(#fields),*