diff --git a/CHANGES.md b/CHANGES.md
index 5c2dfdd3..a886e37d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -4,6 +4,10 @@
 ### Fixed
 ### Changed
 
+## v0.5.0
+
+### Changed
+
 - Removes `satisfiability` type
 
 ## v0.4.1