diff --git a/Cargo.lock b/Cargo.lock
index 18c7740..a9f1eb0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -703,9 +703,9 @@ checksum = "a46cb431066009ad2035f6bca936b1c2b7e293bffec93a2090fead0f35ab4276"
 
 [[package]]
 name = "verus_builtin_macros"
-version = "0.0.0-2026-04-19-0121"
+version = "0.0.0-2026-04-20-1748"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "40353590ec73d419cbbae41ceac223b726d93c3db09d577311b3c000fa409017"
+checksum = "3131a0e0b0dc9272cb574ad1f8506d8e25ba33c9f9972151866c34cad12bb076"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -727,9 +727,9 @@ dependencies = [
 
 [[package]]
 name = "verus_state_machines_macros"
-version = "0.0.0-2026-04-19-0121"
+version = "0.0.0-2026-04-20-1748"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "08e3405834c76c48ebe6970b910364547c1fa167880bf6b0ac4025b835068423"
+checksum = "ba2497778c0b23d5cbd93f43cce512438af5cb01b1f1435aa7e411da8495efb5"
 dependencies = [
  "indexmap 1.9.3",
  "proc-macro2",
@@ -750,9 +750,9 @@ dependencies = [
 
 [[package]]
 name = "vstd"
-version = "0.0.0-2026-04-19-0121"
+version = "0.0.0-2026-04-20-1748"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8c1fd7a88249f8f7fe3e1a7a4b7e40f84e5343e2b664a0e9dcec6da70a53df61"
+checksum = "8d03a77a2ee1b91bc776f8e9ee716d83b519d4338912116d7e855edfa3a8b976"
 dependencies = [
  "verus_builtin",
  "verus_builtin_macros",
diff --git a/Cargo.toml b/Cargo.toml
index a2cca86..4b8d62e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -19,7 +19,7 @@ devirt-macros = { path = "crates/macros", version = "0.2.0" }
 syn = { version = "2", features = ["full", "visit-mut"] }
 quote = "1"
 proc-macro2 = "1"
-vstd = { version = "=0.0.0-2026-04-19-0121", default-features = false }
+vstd = { version = "=0.0.0-2026-04-20-1748", default-features = false }
 
 [profile.bench]
 lto = "thin"