diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 669dfec8a..361f7a1d9 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,7 +1,7 @@
 RELEASE NOTES
 
 
-Version 4.17.0
+Version 5.0.0
 ==============
 - A FiniteSets theory solver
   FiniteSets is a theory with a sort (FiniteSet S) for base sort S.