diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4df02d1..a215f46 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,7 @@
 # Unreleased
 
+# v0.3.5
+
 * Fix incorrect parsing of string literals containing "verus!{"
 * Support automatic formatting of the `seq!` macro
 
diff --git a/Cargo.lock b/Cargo.lock
index 53fef03..2c339ee 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1744,7 +1744,7 @@ checksum = "49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f"
 
 [[package]]
 name = "verusfmt"
-version = "0.3.4"
+version = "0.3.5"
 dependencies = [
  "axoupdater",
  "clap",
diff --git a/Cargo.toml b/Cargo.toml
index dfada2b..bc57a9f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "verusfmt"
-version = "0.3.4"
+version = "0.3.5"
 edition = "2021"
 autoexamples = false
 license = "MIT"