From 260cdc487cf7a0598d7874554487d6de32341948 Mon Sep 17 00:00:00 2001
From: rikosellic <64517311+rikosellic@users.noreply.github.com>
Date: Mon, 19 Jan 2026 23:03:47 +0800
Subject: [PATCH] Fix crate name

---
 src/doc.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/doc.rs b/src/doc.rs
index 09ce839..2671fc4 100644
--- a/src/doc.rs
+++ b/src/doc.rs
@@ -75,11 +75,11 @@ fn generate_single_target_doc(
         builtin_macros_path.display()
     ));
 
-    // Add extern dependencies for verus_state_machine_macros
+    // Add extern dependencies for verus_state_machines_macros
     let state_machine_macros_path =
-        verus_target_dir.join(format!("verus_state_machine_macros{}", verus::DYN_LIB));
+        verus_target_dir.join(format!("verus_state_machines_macros{}", verus::DYN_LIB));
     cmd.arg("--extern").arg(format!(
-        "verus_state_machine_macros={}",
+        "verus_state_machines_macros={}",
         state_machine_macros_path.display()
     ));