From 75823a7e2322e9806cc703755b8d5cf0611215a4 Mon Sep 17 00:00:00 2001
From: shonfeder <github@actions.ci>
Date: Mon, 30 May 2022 00:06:49 +0000
Subject: [PATCH] Bump version to 0.25.5-SNAPSHOT

---
 .unreleased/bug-fixes/1794.md | 1 -
 .unreleased/bug-fixes/1819.md | 1 -
 CHANGES.md                    | 7 +++++++
 RELEASE.md                    | 6 ------
 VERSION                       | 2 +-
 5 files changed, 8 insertions(+), 9 deletions(-)
 delete mode 100644 .unreleased/bug-fixes/1794.md
 delete mode 100644 .unreleased/bug-fixes/1819.md
 delete mode 100644 RELEASE.md

diff --git a/.unreleased/bug-fixes/1794.md b/.unreleased/bug-fixes/1794.md
deleted file mode 100644
index a28c8cebf5..0000000000
--- a/.unreleased/bug-fixes/1794.md
+++ /dev/null
@@ -1 +0,0 @@
-Fixed bug in inlining ASSUME statements, see #1794
\ No newline at end of file
diff --git a/.unreleased/bug-fixes/1819.md b/.unreleased/bug-fixes/1819.md
deleted file mode 100644
index 2934a56756..0000000000
--- a/.unreleased/bug-fixes/1819.md
+++ /dev/null
@@ -1 +0,0 @@
-Fix nested set membership in the arrays encoding, see #1819
\ No newline at end of file
diff --git a/CHANGES.md b/CHANGES.md
index de6ee6cf4c..a0c196bd09 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.25.4 - 2022-05-30
+
+### Bug fixes
+
+- Fix nested set membership in the arrays encoding, see #1819
+- Fixed bug in inlining ASSUME statements, see #1794
+
 ## 0.25.3 - 2022-05-20
 
 ### Breaking changes
diff --git a/RELEASE.md b/RELEASE.md
deleted file mode 100644
index b7ce111bb2..0000000000
--- a/RELEASE.md
+++ /dev/null
@@ -1,6 +0,0 @@
-## 0.25.4 - 2022-05-30
-
-### Bug fixes
-
-- Fix nested set membership in the arrays encoding, see #1819
-- Fixed bug in inlining ASSUME statements, see #1794
diff --git a/VERSION b/VERSION
index 35aa2f3c07..a193397f38 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.25.4
+0.25.5-SNAPSHOT