diff --git a/.unreleased/features/z3-parameters.md b/.unreleased/features/z3-parameters.md
deleted file mode 100644
index 82195d8708..0000000000
--- a/.unreleased/features/z3-parameters.md
+++ /dev/null
@@ -1 +0,0 @@
-Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990)
diff --git a/.unreleased/features/z3-stats.md b/.unreleased/features/z3-stats.md
deleted file mode 100644
index a3011f003a..0000000000
--- a/.unreleased/features/z3-stats.md
+++ /dev/null
@@ -1 +0,0 @@
-Periodically print Z3 statistics when `--debug` is on (#2992)
diff --git a/CHANGES.md b/CHANGES.md
index e0025d5475..10b4117c8f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.46.1 - 2024-09-24
+
+### Features
+
+- Periodically print Z3 statistics when `--debug` is on (#2992)
+- Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990)
+
 ## 0.45.6 - 2024-09-19
 
 ### Features
diff --git a/RELEASE.md b/RELEASE.md
deleted file mode 100644
index 936aed4487..0000000000
--- a/RELEASE.md
+++ /dev/null
@@ -1,6 +0,0 @@
-## 0.46.1 - 2024-09-24
-
-### Features
-
-- Periodically print Z3 statistics when `--debug` is on (#2992)
-- Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990)
diff --git a/VERSION b/VERSION
index 620104d820..288d429fd9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.46.1
+0.46.2-SNAPSHOT